3 ideas
17555 | 'One' can mean undivided and not a multitude, or it can add measurement, giving number [Aquinas] |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |