[erichahn]

If you figure this out correctly you can claim the third incompleteness theorem. (If I am right)

[ProfHewitt]

Results 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.