Axiom of finite choice

 Ancestors

1. Axioms of set theory
2. Mathematical axioms
3. Mathematical logic
4. Fields of mathematics
5. Mathematics
6. OurBigBook Wikipedia Bot