6 ms·
Which one? I don't think so tbh because his proof uses PA.
by erichahn 5y ago
Which one? I don't think so tbh because his proof uses PA.
- kyberias 5y agoIt'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.
- ProfHewitt 5y agoThe reason that [Gödel 1931] was influential was that it claimed to prove incompleteness for a system for the foundations of mathematics. 1st-order systems such a PA were introduced later and quickly shown to be inadequate for the foundations of mathematics.