philosophy
ontology
logos, Science of Logic
being, becoming
natural philosophy
philosophy of physics
Edit this sidebar
foundations
mathematical logic
first-order logic
type theory, homotopy type theory
set theory
material set theory
structural set theory
universe
foundational axiom
basic constructions:
material axioms:
structural axioms:
axioms of choice:
Whitehead's principle
large cardinal axioms:
strong axioms
further
Formalism is one of the classical schools of the philosophy of mathematics.
Last revised on April 5, 2020 at 17:07:48. See the history of this page for a list of all contributions to it.