Yes, PM would be made inconsistent by including the [Gödel 1931] proposition I'mUnprovable for reasons explained elsewhere in this discussion. Fortunately, t

Yes, PM would be made inconsistent by including the [Gödel 1931] proposition I'mUnprovable for reasons explained elsewhere in this discussion. Fortunately, the rules on orders of propositions make it impossible to construct proposition I'mUnprovable in PM.