Contenido: The axiom of extension -- The axiom of specification -- Unordered pairs -- Unions and intersections -- Complements and powers -- Ordered pairs -- Relations -- Functions -- Families -- Inverses and composities -- Numbers -- The peano axioms -- Arithmetic -- Order -- The axiom of choice -- Zorn's lemma -- Wll ordering