Book:Paul R. Halmos/Naive Set Theory

Subject Matter

 * Set Theory
 * Naive Set Theory

Contents

 * Preface
 * 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
 * Index

Source work progress
* : $\S 17$: Well Ordering


 * : $\S 9$: Families -- Reviewing Chapter 9 with a view to making our treatment of families of sets watertight