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


Single Idea 10058

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

Full Idea

The axiom of Peano which states that no two numbers have the same successor requires the Axiom of Infinity for its proof.

Gist of Idea

No two numbers having the same successor relies on the Axiom of Infinity

Source

Alan Musgrave (Logicism Revisited [1977], §4 n)

Book Ref

-: 'British Soc for the Philosophy of Science' [-], p.112


A Reaction

[He refers to Russell 1919:131-2] The Axiom of Infinity is controversial and non-logical.