Ideas from 'On the Foundations of Logic and Arithmetic' by David Hilbert [1904], by Theme Structure
[found in 'From Frege to Gödel 18791931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0674324498]].
green numbers give full details 
back to texts

expand these ideas
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17697

The existence of an arbitrarily large number refutes the idea that numbers come from experience

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17698

Logic already contains some arithmetic, so the two must be developed together
