Nachfolgeabbildung (Peano Axiom)

Es existiert eine Abbildung \(\nu : \mathbb{N} \rightarrow \mathbb{N}\)

\begin{align*} \nu:& \mathbb{N} \rightarrow \mathbb{N} \\ :& n \mapsto n' \end{align*}