Naturally Ordered Semigroup Satisfies Peano's Axioms
From ProofWiki
Theorem
The axiom schema Peano's Axioms is satisfied by the naturally ordered semigroup.
Thus either can be used as a model for the natural numbers.
Proof
You can help Proof Wiki by expanding it.
To discuss it in more detail, feel free to use the talk page.
When this page/section has been completed, {{Stub}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
