Foundations of Mathematics

1. Naïve Set Theory

• 1.1.  Sets June 23, 2026 (updated July 20, 2026)
• 1.2.  Functions June 23, 2026 (updated July 27, 2026)
• 1.3.  Relations June 26, 2026 (updated July 20, 2026)
• 1.4.  Orders July 14, 2026 (updated July 25, 2026)
• 1.5.  Finite Sets July 14, 2026 (updated July 20, 2026)

2. First-Order Logic

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

3. Axiomatic Set Theory

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