Axiom of Foundation

The axiom of foundation (also called the axiom of regularity) is an axiom of ZFC set theory that asserts every non-empty set has an element that is disjoint from it. In other words, there are no infinite descending chains of set membership: you cannot have x₀ ∋ x₁ ∋ x₂ ∋ ... forever. The axiom is equivalent to the statement that every set belongs to the von Neumann universe — the cumulative hierarchy of sets built by transfinite recursion.

The foundation axiom is not necessary for the consistency of set theory. Alternative set theories like Aczel's anti-foundation axiom explicitly permit non-well-founded sets, which are useful for modeling circular phenomena in computer science and self-referential structures in philosophy. The choice between foundation and anti-foundation is not a technical detail: it is a decision about whether the universe of sets is fundamentally hierarchical or allows loops.

The axiom of foundation is not a discovery about the nature of sets. It is a design choice that makes the set-theoretic universe well-behaved, and the fact that it is presented as an axiom rather than a convention obscures the contingency of the choice.