3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
15049 | Metaphysical realists are committed to all unambiguous statements being true or not true [Dummett] |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |