das dem Induktionsprinzip zugrundeliegende Axiom bei einer axiomatischen Definition der natürlichen Zahlen, also das Axiom \begin{eqnarray}\forall M\subset {\mathbb{N}}\space [1\in M\wedge N(M)\subset M\Rightarrow M=\mathbb{N}]\end{eqnarray} bei einer Definition von ℕ als Menge mit einem ausgezeichneten Element 1 ∈ ℕ und einer Nachfolgerfunktion N : ℕ → ℕ.