3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
15130 | If a property is possible, there is something which can have it [Williamson] |
22251 | Liberalism may fail because it neglects the shared nature of what we pursue and protect [Haldane] |