Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Every set admits a well-order. In ZF this statement is equivalent to the axiom of choice.

Ancestors (6)

  1. Axiom of choice
  2. Set theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home