Content-Type: text/html

# Natural number/Talk

HomePage | Natural number | RecentChanges | Preferences
You can edit this page right now! It's a free, community project

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.

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

HomePage | Natural number | RecentChanges | Preferences
You can edit this page right now! It's a free, community project
Edit text of this page | View other revisions
Last edited August 12, 2001 8:29 am (diff)
Search: