Axiom of regularity (source code)

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

= Axiom of foundation
{c}
{synonym}

= Foundation
{synonym}

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

Back to article page