BabelNet

bn:01391498n

Noun Concept

No term available

In mathematics, the axiom of regularity is an axiom of Zermelo–Fraenkel set theory that states that every non-empty set A contains an element that is disjoint from A. In first-order logic, the axiom reads: ∀ x. Wikipedia

Relations

Sources

IS A

بديهية

PART OF

نظرية المجموعات حسب تسيرميلو-فرانكل