3 ideas
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |