Foundations of Mathematics

• Foundations of mathematics
• Mathematical logic
  • Proof theory
    • Gödel's incompleteness theorems
  • Model theory
  • Recursion theory
• Set theory
  • Naive set theory
  • Axiomatic set theory
• Category theory
  • Topos theory