Codex Wiki OurBigBook logoOurBigBook.comSite Source code
For any sets , either injects into or injects into . Applying this to and its Hartogs ordinal proves the well-ordering theorem, so over ZF cardinal comparability is equivalent to choice.

Ancestors (6)

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