Set theory
Type theory
Model theory
Z notation
Automath
Axiom of choice
Axiom schema of replacement
New Foundations
Axiom
Mathematical logic
Logic
Mathematics