The proofs in [Gödel 1931] are incorrect for foundational theories because the proposition I'mUnprovable does not exist. It is very fortunate that I'mUnprova

The proofs in [Gödel 1931] are incorrect for foundational theories because the proposition I'mUnprovable does not exist. It is very fortunate that I'mUnprovable does not exist because otherwise foundational theories would be inconsistent. See the following for an explanation: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021