No extra restriction is required because Russell's Principia

Mathematical already excludes construction of the [Gödel 1931]

proposition I'mUnprovable because of orders on propositions.