Foundations of Mathematics

1 Naïve Set Theory

• 1.1  Sets June 24, 2026 (updated October 21, 2026)
• 1.2  Functions June 24, 2026 (updated October 23, 2026)
• 1.3  Relations June 27, 2026 (updated October 25, 2026)
• 1.4  Orders July 15, 2026 (updated October 22, 2026)
• 1.5  Finite Sets July 15, 2026 (updated October 21, 2026)
• 1.6  Countable Sets July 28, 2026 (updated October 21, 2026)

2 First-Order Logic

• 2.1  Languages and Formulas May 27, 2026 (updated October 21, 2026)
• 2.2  Deduction July 6, 2026 (updated October 21, 2026)
• 2.3  Structures and Semantics October 13, 2026 (updated October 22, 2026)

3 Axiomatic Set Theory

• 3.1  Axioms of Zermelo–Fraenkel Theory July 5, 2026 (updated October 21, 2026)

4 Category Theory

• 4.1  Categories and Functors July 30, 2026 (updated October 21, 2026)