4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |