more on this theme     |     more from this text


Single Idea 3338

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers ]

Full Idea

Dedekind and Peano define the number series as the series of successors to the number zero, according to five postulates.

Gist of Idea

Numbers have been defined in terms of 'successors' to the concept of 'zero'

Source

report of Giuseppe Peano (works [1890]) by Simon Blackburn - Oxford Dictionary of Philosophy p.279

Book Ref

Benardete,José A.: 'Metaphysics: The Logical Approach' [OUP 1989], p.279


The 7 ideas from Giuseppe Peano

We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano]
All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano]
PA concerns any entities which satisfy the axioms [Peano, by Bostock]
Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell]
Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano]
Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn]
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]