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


Single Idea 16883

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

Full Idea

For Frege, no arithmetical statement is an axiom, because all are provable.

Gist of Idea

Arithmetical statements can't be axioms, because they are provable

Source

report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884]) by Tyler Burge - Frege on Knowing the Foundations 1

Book Ref

Burge,Tyler: 'Truth, Thought, Reason (on Frege)' [OUP 2001], p.325


A Reaction

This is Frege's logicism, in which the true and unprovable axioms are all found in the logic, not in the arithmetic. Compare that view with the Dedekind/Peano axioms.