3 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |