You are correct to be confused. Godel's results depend on the existence of the proposition I'mUnprovable, which does not exist in foundations because the fixe

You are correct to be confused. Godel's results depend on the existence of the proposition I'mUnprovable, which does not exist in foundations because the fixed point used in its construction violates orders on propositions. The most up-to-date article is here: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021