3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
12221 | 'Corner quotes' (quasi-quotation) designate 'whatever these terms designate' [Quine] |
19321 | We might do without names, by converting them into predicates [Quine, by Kirkham] |