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: On what ultimate basis can mathematical statements be called true?
Contents |
|
