axiom of regularity in German
axiom of regularity in German
Fundierungsaxiom
(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that every non-empty set contains a member that is disjoint from that set.
Regularitätsaxiom
(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that every non-empty set contains a member that is disjoint from that set.