unterschiedliche Nachfolger (Peano Axiom)

\begin{align*} \forall n \forall m (n,m \in \mathbb{N} \Rightarrow (n' = m' \Rightarrow m = n)) \end{align*}

bzw. die Nachfolgeabbildung ist injektiv