4 ideas
17697 | The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert] |
17698 | Logic already contains some arithmetic, so the two must be developed together [Hilbert] |
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |
2667 | A false object might give the same presentation as a true one [Arcesilaus, by Cicero] |