3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
1743 | The greatest deterrence for injustice is if uninjured parties feel as much indignation as those who are injured [Solon, by Diog. Laertius] |