Axiom:Peano's Axioms/Also defined as

From ProofWiki
Jump to navigation Jump to search

Peano's axioms: Also defined as

Some treatments of Peano's axioms define the non-successor element (or primal element) to be $1$ and not $0$.

The treatments are similar, but the $1$-based system results in an algebraic structure which has no identity element for addition, and so no zero for multiplication.