3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |