3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
12693 | A body is that which exists in space [Leibniz] |
1515 | Pythagoreans believe it is absurd to seek for goodness anywhere except with the gods [Iamblichus] |