Null als Nachfolger (Peano Axiom)

\begin{align*} \forall n (n \in \mathbb{N} \Rightarrow n' \neq 0) \end{align*}