display all the ideas for this combination of texts
3 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] |
16150 | One is, so numbers exist, so endless numbers exist, and each one must partake of being [Plato] |