Mathematical logic and foundations Philosophical questions and foundational programs Concept
Foundations of mathematics
Summary
The foundations of mathematics study the basic framework in which all of mathematics is built. They ask which language mathematics is written in, which axioms it starts from, and what counts as a proof. Today the usual answer is predicate logic together with the axioms of Zermelo–Fraenkel set theory. The field also studies the limits of this framework, such as the incompleteness theorems.
Where this leads
3 pages build on this one.
Further reading
About this page
| Tag | EFFRJFW67Y |
|---|---|
| URI | m2://EFFRJFW67Y |
| Kind | concept |
| Writing | W0 stub |
| MSC | 03A05, 03B30 |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.