3 ideas
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
10269 | Mathematics eliminates possibility, as being simultaneous actuality in sets [Putnam] |
7845 | When we need to do something, we depute an inner servant to remind us of it [Proust] |