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] |
| 9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
| 20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |