3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
10650 | In the military, persons are parts of parts of large units, but not parts of those large units [Rescher] |
22511 | Some reasonings are stronger than we are [Philolaus] |