Los axiomas de Zermelo-Fraenkel

La teora de conjuntos de Zermelo-Fraenkel toma como primitivos los conceptos de conjunto y de

pertenencia y consta de los diez axiomas siguientes:
1. Axioma de extensionalidad. Dos conjuntos e son iguales (lo que se representa por )
nicamente si contienen los mismos elementos. Ms
formalmente, y en la simbologa usual,
2. Axioma del conjunto vaco. Existe un conjunto (representado por ) sin
elementos. Esto es,
3. Axioma de pares. Dados cualesquiera conjuntos e , existe otro conjunto, representado por
, cuyos elementos son nicamente e . Esto es,
4. Axioma de la unin. Dada cualquier coleccin de conjuntos , existe un conjunto, representado por
y llamado unin de , que contiene todos los elementos de cada conjunto de . Esto es,

5. Axioma del conjunto potencia Para cualquier conjunto existe otro conjunto, representado por
, que contiene todos los subconjuntos de . En smbolos,

6. Esquema axiomtico de especificacin. Sea una frmula de un lenguaje de primer orden que
contenga una variable libre . Entonces, para cualquier conjunto existe un conjunto cuyos elementos
son aquellos elementos de que cumplen .
7. Esquema axiomtico de reemplazo. Si es una sentencia tal que para cualquier elemento de
un conjunto el conjunto existe, entonces existe una funcin f:xy tal que f(a)=y.
Formalmente, si
entonces
8. Axioma de infinitud. Existe un conjunto tal que y tal que si , entonces
. En smbolos,
.9. Axioma de regularidad. Para todo conjunto no vaco existe un conjunto tal que
. Esto es, en trminos formales,
10. Lema de Zorn. Todo conjunto inductivo no vaco tiene elemento maximal
En un principio Zermelo trat de probar el "Lema de Zorn" a partir de los otros nueve axiomas, pero no
lo consigui, adems, posteriormente los Teoremas de Incompletitud de Gdel probaron que el Lema de
Zorn no era demostrable a partir de los restantes axiomas. Por lo tanto se aadi como dcimo axioma
de la teora.
Es equivalente a
Axioma de eleccin. Dada una familia de conjuntos no vacos podemos coger un elemento de cada
conjunto. Este axioma puede expresarse de manera equivalente a, dado un conjunto cualquiera x, existe
una funcin f que elige un elemento de cada conjunto no vaco de x: