User:Dfeuer/Axiom of Infinity/Peano Structure

From ProofWiki
Jump to: navigation, search

Axiom

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