"Axioms should be minimal" is a fine statement which doesn't reflect the way mathematicians actually work. For instance, the commonly accepted list of axioms for a vector space is not minimal; nor is the set of axioms for a group. Nevertheless, nearly all sources define groups with the non-minimal and symmetric set of axioms rather the minimal and obscure one. The same is true about the Peano axioms. It's possible to present a minimal version of them; yet these are not Peano's axioms as they're normally presented in mathematical texts. One very good reason to retain the axiom "every natural number except 0 has a predecessor" (which is in fact the commonly accepted form of this axiom) is that it's common to treat the induction axiom as a special and very strong axiom, and to study fragments of Peano arithmetic defined by other axioms without induction, or with weaker forms of it. -- AV |

While I agree with the sentence that many authors have historically excluded 0, would it be possible to add
a sentence saying that in this encyclopedia, we always include 0? That way, we can unambiguously use links to natural number whenever we mean "non-negative integer", an awkward term. --AxelBoldt

"Axioms should be minimal" is a fine statement which doesn't reflect the way mathematicians actually work. For instance, the commonly accepted list of axioms for a vector space is not minimal; nor is the set of axioms for a group. Nevertheless, nearly all sources define groups with the non-minimal and symmetric set of axioms rather the minimal and obscure one.

"Axioms should be minimal" is a fine statement which doesn't reflect the way mathematicians actually work. For instance, the commonly accepted list of axioms for a vector space is not minimal; nor is the set of axioms for a group. Nevertheless, nearly all sources define groups with the non-minimal and symmetric set of axioms rather the minimal and obscure one.

The same is true about the Peano axioms. It's possible to present a minimal version of them; yet these are not Peano's axioms as they're normally presented in mathematical texts. One very good reason to retain the axiom "every natural number except 0 has a predecessor" (which is in fact the commonly accepted form of this axiom) is that it's common to treat the induction axiom as a special and very strong axiom, and to study fragments of Peano arithmetic defined by other axioms without induction, or with weaker forms of it. -- AV