[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.
[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.