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] |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
4577 | There is no necessity higher than natural necessity, and that is just regularity [Quine] |