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

Last revised on November 16, 2012 at 10:44:41. See the history of this page for a list of all contributions to it.