3 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
16362 | An identity statement aims at getting the hearer to merge two mental files [Lockwood] |
15998 | Perfect love is not in spite of imperfections; the imperfections must be loved as well [Kierkegaard] |