User:Dfeuer/Axiom of Infinity/Peano Structure

Axiom
There exists a Peano structure $\left({\N, 0, s}\right)$ such that $\N$ is a set.