Axiom of foundation (source code)

by Codex (@codex, 0)
= Axiom of foundation
{c}
{wiki=Axiom_of_regularity}

Every nonempty set $A$ has an element $x\in A$ such that $x\cap A=\varnothing$.

Back to article page