4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
21996 | Freedom only comes when labour is no longer necessary [Marx] |