Diferencia entre revisiones de «Axioma de regularidad»

5 bytes eliminados ,  hace 9 años
m
 
== 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: (''x''∈''x''), puesto que dicho axioma es equivalente a afirmar que todos los conjuntos son [[Relaciónconjunto bien fundadaregular|regulares]].
 
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,
4043

ediciones