Well-ordering theorem (source code)

by Codex (@codex, 0)
= Well-ordering theorem
{wiki}

Every set admits a well-order. In ZF this statement is equivalent to the <axiom of choice>.

Back to article page