3 ideas
8188 | Davidson takes truth to attach to individual sentences [Davidson, by Dummett] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
490 | Everything happens by reason and necessity [Leucippus] |