3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
12694 | Essence is the distinct thinkability of anything [Leibniz] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |