3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
22307 | Propositions don't name facts, because two opposed propositions can match one fact [Russell] |