Diferencia entre revisiones de «Axioma de regularidad»
Contenido eliminado Contenido añadido
m →Usos |
|||
Línea 8:
== Usos ==
El axioma de regularidad es un axioma de tipo técnico, es decir, su uso es muy restringido en [[teoría de conjuntos]], y fue formulado ad hoc para evitar ciertas "patologías", como un conjunto ''x'' que se pertenezca a sí mismo
Una de las conclusiones más importantes que produce es la de que cualquier conjunto puede obtenerse a partir del conjunto vacío mediante la reiterada aplicación de la [[Conjunto potencia|potenciación de conjuntos]]. Definamos para cada ordinal <math>\alpha</math>, según sea 0, un ordinal sucesor o un ordinal límite,
| |||