Peano axioms
Referenced by:
first principle of mathematical induction
index