5 ideas
21461 | I tried to be unsystematic and piecemeal, but failed; my papers presuppose my other views [Lewis] |
18261 | A simplification which is complete constitutes a definition [Kant] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
18260 | If we knew what we know, we would be astonished [Kant] |