3 ms·
It's very easy for you to check this from his 1931 article.
by kyberias 5y ago
It's very easy for you to check this from his 1931 article.
- erichahn 5y agoIf you figure this out correctly you can claim the third incompleteness theorem. (If I am right)
- ProfHewitt 5y agoResults in [Gödel 1931] depend on existence of proposition I'mUnprovable. Since, the proposition doesn't exist in foundations, the results in [Gödel 1931] do not hold for foundations.
- ProfHewitt 5y agoYes, it is very easy to check that [Gödel 1931] was for a system for the foundation of mathematics.