3 ideas
18844 | You would cripple mathematics if you denied Excluded Middle [Hilbert] |
490 | Everything happens by reason and necessity [Leucippus] |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |