3 ideas
15549 | If it were true that nothing at all existed, would that have a truthmaker? [Lewis] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |