3 ideas
23367 | Even pointing a finger should only be done for a reason [Epictetus] |
18810 | Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt] |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |