数学的帰納法の原理

$ \forall A\subseteq\N(1\in A\land\forall n\in A;\mathrm{succ}(n)\in A\implies A=\N)