3 ideas
16886 | The truth of an axiom must be independently recognisable [Frege] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |