more on this theme     |     more from this thinker     |     more from this text


Single Idea 10202

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic ]

Full Idea

The natural-number structure is a pattern common to any system of objects that has a distinguished initial object and a successor relation that satisfies the induction principle

Gist of Idea

Natural numbers just need an initial object, successors, and an induction principle

Source

Stewart Shapiro (Philosophy of Mathematics [1997], Intro)

Book Ref

Shapiro,Stewart: 'Philosophy of Mathematics:structure and ontology' [OUP 1997], p.5


A Reaction

If you started your number system with 5, and successors were only odd numbers, something would have gone wrong, so a bit more seems to be needed. How do we decided whether the initial object is 0, 1 or 2?