3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
10190 | From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki] |
6011 | There is a remote first god (the Good), and a second god who organises the material world [Numenius, by O'Meara] |