display all the ideas for this combination of texts
4 ideas
18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |