3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
13127 | Categories can't overlap; they are either disjoint, or inclusive [Sommers, by Westerhoff] |
4442 | Most thinkers now reject self-predication (whiteness is NOT white) so there is no Third Man problem [Armstrong] |