Actually, the [Gödel 1931] proof does not work as advertised for Principia Mathematica because the Gödel number of a proposition does not include the order of t

Actually, the [Gödel 1931] proof does not work as advertised for Principia Mathematica because the Gödel number of a proposition does not include the order of the proposition. Consequently, the rules on orders of propositions mean that the [Gödel 1931] proposition I'mUnprovable does not exist in Principia Mathematica where I'mUnprovable <=> ¬⊦I'mUnprovable For details see the following: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021