Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Axiom of choice

Every family of nonempty sets has a choice function. In ZF this is equivalent to the well-ordering theorem.

Ancestors (5)

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

Incoming links (9)