set-theory 3 Type Theory Part II: Proving Natural Addition Commutes from First Principles Sep 20, 2025 Type Theory Part I: Introduction to Type Theory Sep 13, 2025 Halmos' Set Theory: a Review Jan 31, 2025