3 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
14528 | Maybe modal thought is unavoidable, as a priori recognition of necessary truth-preservation in reasoning [Hale/Hoffmann,A] |
1743 | The greatest deterrence for injustice is if uninjured parties feel as much indignation as those who are injured [Solon, by Diog. Laertius] |