3 ideas
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |