Diferencia entre revisiones de «Axiomas de Zermelo-Fraenkel»
Contenido eliminado Contenido añadido
Línea 155:
==== El axioma del conjunto potencia ====
El axioma del [[conjunto potencia]] nos da un conjunto que contiene a todos los subconjuntos de cualquier conjunto. Por tanto, <math>\mathcal{P}(\empty)=\{\empty\}</math>. Puesto que <math>x\in \mathcal{P}(x)</math> para cualquiera que sea el conjunto <math>x</math>, puede hacerse uso del esquema de especificación para obtener el conjunto
Línea 168:
de manera que el axioma de pares puede deducirse del axioma del conjunto potencia, el esquema de especificación y el axioma de unión. Así pues, no todos los axiomas de '''ZF''' son independientes.
==== El esquema axiomático de especificación ====
| |||