User:Dfeuer/Axiom of Infinity/Peano Structure

From ProofWiki
Jump to navigation Jump to search

Axiom

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