axiom of regularity

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:Titan
gptkb:set_theory
gptkbp:alsoKnownAs gptkb:axiom_of_foundation
gptkbp:compatibleWith non-well-founded set theory
https://www.w3.org/2000/01/rdf-schema#label axiom of regularity
gptkbp:introduced gptkb:John_von_Neumann
gptkbp:introducedIn 1920s
gptkbp:partOf gptkb:Zermelo-Fraenkel_set_theory
gptkbp:prevention infinite descending membership chains
sets being members of themselves
gptkbp:state every non-empty set A contains an element that is disjoint from A
gptkbp:symbol ∀A [A ≠ ∅ → ∃B (B ∈ A ∧ B ∩ A = ∅)]
gptkbp:usedIn standard set theory
gptkbp:bfsParent gptkb:Zermelo–Fraenkel_axioms
gptkbp:bfsLayer 6