# User:Dfeuer/Axiom of Infinity/Peano Structure

There exists a Peano structure $\struct {\N, 0, s}$ such that $\N$ is a set.