Foundations of Mathematics

1. Naïve Set Theory

• 1.1.  Sets June 23, 2026 (updated August 24, 2026)
• 1.2.  Functions June 23, 2026 (updated August 24, 2026)
• 1.3.  Relations June 26, 2026 (updated August 24, 2026)
• 1.4.  Orders July 14, 2026 (updated August 30, 2026)
• 1.5.  Finite Sets July 14, 2026 (updated August 29, 2026)
• 1.6.  Countable Sets July 27, 2026 (updated August 24, 2026)

2. First-Order Logic

• 2.1.  Languages and Semantics May 26, 2026 (updated August 24, 2026)
• 2.2.  Deduction July 5, 2026 (updated August 24, 2026)

3. Axiomatic Set Theory

• 3.1.  Axioms of Set Theory July 4, 2026 (updated August 24, 2026)

4. Category Theory

• 4.1.  Categories and Functors July 29, 2026 (updated August 24, 2026)