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

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.