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] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
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] |