3 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
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] |