display all the ideas for this combination of texts
4 ideas
17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
10232 | Property extensions outstrip objects, so shortage of objects caused the Caesar problem [Cantor, by Shapiro] |
18176 | Pure mathematics is pure set theory [Cantor] |