display all the ideas for this combination of texts
4 ideas
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
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] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |