more on this theme | more from this text
Full Idea
Peano Arithmetic is about any system of entities that satisfies the Peano axioms.
Gist of Idea
PA concerns any entities which satisfy the axioms
Source
report of Giuseppe Peano (Principles of Arithmetic, by a new method [1889], 6.3) by David Bostock - Philosophy of Mathematics 6.3
Book Ref
Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.183
A Reaction
This doesn't sound like numbers in the fullest sense, since those should facilitate counting objects. '3' should mean that number of rose petals, and not just a position in a well-ordered series.
Related Idea
Idea 14424 Numbers are needed for counting, so they need a meaning, and not just formal properties [Russell]
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |