3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
3144 | Everything is what it is, and not another thing [Butler] |
5495 | Instances of pain are physical tokens, but the nature of pain is more abstract [Putnam, by Lycan] |