4 ideas
22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
14248 | We could accept the integers as primitive, then use sets to construct the rest [Cohen] |
19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |