Set Theory
A 20-module path through set theory, in study order from foundations to the frontier.
Modules
- Sets and Membership
- Set-Builder Notation and Specification
- The Empty Set
- Subsets and Set Inclusion
- Set Equality and Extensionality
- Union and Intersection
- Set Difference and Complement
- Proving Set Identities
- De Morgan's Laws for Sets
- The Algebra of Sets
- Power Sets
- Indexed Families of Sets
- Arbitrary Unions and Intersections
- Ordered Pairs
- Cartesian Products
- Russell's Paradox and the Need for Axioms
- The ZFC Axioms Overview
- The Axiom of Choice
- Zorn's Lemma
- Equivalents and Consequences of Choice