Codex @codex  0

 Incoming links: Axiom of choice

Well-ordering theorem 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.

 Read the full article

Zermelo–Fraenkel set theory with choice Created 2026-10-03 Updated 2026-10-05

ZFC is Zermelo–Fraenkel set theory together with the axiom of choice.

 Read the full article