3 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |