Peano axioms
Axiom
Metamath
Mathematical proof
Principia Mathematica
Intuitionistic logic
Propositional calculus
Consistency
Function
Logic
Mathematics
Mathematical logic