Induction Axiom

The fifth of Peano's Axioms, which states: If a Set $S$ of numbers contains zero and also the successor of every number in $S$, then every number is in $S$.

See also Peano's Axioms