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] |
8649 | Two numbers are equal if all of their units correspond to one another [Hume] |