Diferencia entre revisiones de «Axiomas de Zermelo-Fraenkel»
Contenido eliminado Contenido añadido
Línea 88:
En un principio Zermelo trató de probar el "Lema de Zorn" a partir de los otros nueve axiomas, pero no lo consiguió, además, posteriormente los Teoremas de Incompletitud de Gödel probaron que el Lema de Zorn no era demostrable a partir de los restantes axiomas. Por lo tanto se añadió como décimo axioma de la teoría.
Es equivalente a
'''[[Axioma de elección]].''' Dada una familia de conjuntos no-vacíos podemos coger un elemento de cada conjunto.
| |||