6 ideas
18261 | A simplification which is complete constitutes a definition [Kant] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, 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] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |