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
further
Edit this sidebar
A foundational axiom is an axiom that would be used in foundations.