display all the ideas for this combination of texts
3 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |