Logic and Foundations of Mathematics

Foundations of mathematics is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, type theory and recursion theory. The search for foundations of mathematics is also a central question of the philosophy of mathematics.

Syndicate content
  • Recommend Us