Table of Contents:
  • 1. The axiom of extension
  • 2. The axiom of specification
  • 3. Unordered pairs
  • 4. Unions and intersections
  • 5. Complements and powers
  • 6. Ordered pairs
  • 7. Relations
  • 8. Functions
  • 9. Families
  • 10. Inverses and composites
  • 11. Numbers
  • 12. The Peano axioms
  • 13. Arithmetic
  • 14. Order
  • 15. The axiom of choice
  • 16. Zorn's Lemma
  • 17. Well ordering
  • 18. Transfinite recursion
  • 19. Ordinal numbers
  • 20. Sets of ordinal numbers
  • 21. Ordinal arithmetic
  • 22. The Schröder-Bernstein theorem
  • 23. Countable sets
  • 24. Cardinal arithmetic
  • 25. Cardinal numbers.