Induktions-Axiom (Peano)

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