4 ms·
If you figure this out correctly you can claim the third incompleteness theorem. (If I am right)
by erichahn 5y ago
If 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.