3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
6011 | There is a remote first god (the Good), and a second god who organises the material world [Numenius, by O'Meara] |