El Axioma de Regularidad dice lo siguiente: dado un conjunto formula_1, existe un conjunto formula_2 de manera que si formula_3 entonces formula_4.