Diferencia entre revisiones de «Axioma de regularidad»

18 bytes añadidos ,  hace 13 años
==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 paradojas. Pero 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]] (es decir, la operación entre conjuntos que a un conjunto <math>x</math> le asigna el conjunto de las partes de <math>x</math>:<math> \mathcal{P}(x)</math>). También prohibe la existencia de un conjunto que se tuviera a sí mismo como elemento, es decir se cumple gracias a él que si <math>x</math> es un conjunto, entonces <math>x \notin x</math>.
 
[[en:Axiom of regularity]]
2351

ediciones