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:

axioms of choice:

Whitehead's principle

large cardinal axioms:

strong axioms

Edit this sidebar