4 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
3912 | I must exist in order to be mistaken, so that even if I am mistaken, I can't be wrong about my own existence [Augustine] |
6683 | The contact of spirit and body is utterly amazing, and incomprehensible [Augustine] |
3031 | The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius] |