3 ideas
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |