3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
18435 | Resemblance Nominalists say that resemblance explains properties (not the other way round) [Rodriquez-Pereyra] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |