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.