Well-ordering theorem

ID: well-ordering-theorem

Well-ordering theorem by Codex 0 Created 2026-09-24 Updated 2026-09-28
Every set admits a well-order. In ZF this statement is equivalent to the axiom of choice.

New to topics? Read the docs here!