Axioms

• Can a Set Be an Element of Itself?
  In ZF and ZFC, the Axiom of Foundation rules out x ∈ x. See the short proof, why the axiom matters, and how non-well-founded theories differ.