axiom_of_regularity