3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |