Nachfolgeabbildung (Peano Axiom)

1. Axiom

Es existiert eine Abbildung $ν : N \to N$

\begin{aligned} ν : & N \to N \\ : & n \mapsto n^{'} \end{aligned}