Linked from

The 15 pages that link to Foundations of mathematics, each with the reason it gives.

• David HilbertNarrower topic: Hilbert’s work made foundational questions a central mathematical enterprise.

• Set theoryNarrower topic: Set theory is a major framework for defining mathematical objects and formalizing proofs.

• Gödel's incompleteness theoremsNarrower topic: The theorems forced a permanent shift in what foundational systems can promise.

• AxiomNarrower topic: Axioms are central to debates about what mathematical theories rest upon.

• Georg CantorNarrower topic: Cantor’s treatment of infinity became central to debates about what mathematics may assume.

• Russell's paradoxNarrower topic: The contradiction became a central test case for competing foundations.

• Hilbert's programNarrower topic: Hilbert's program was one influential response to foundational questions about mathematical certainty.

• ConsistencyNarrower topic: Consistency questions arose from attempts to secure mathematics on explicit foundations.

• DefinitionNarrower topic: Foundational systems determine which terms can be defined and what counts as a legitimate definition.

• Axiomatic methodNarrower topic: The axiomatic method is one of the central approaches to securing mathematical foundations.

• FormalismNarrower topic: Formalism emerged as one answer to questions about what mathematics rests on.

• L. E. J. BrouwerNarrower topic: Brouwer’s philosophical work challenged prevailing accounts of mathematical foundations.

• Foundations of GeometryNarrower topic: Geometric axiomatics forms one part of the broader effort to ground mathematical knowledge.

• Axiom (general principle)Narrower topic: Debates over axioms are central to how mathematics is grounded.