Excellent question Bloak! The proof is for a foundation that can formalize its own provability. Consequently, ⊢⊢I’mUnprovable means that ⊢I’mUnprovable is pr

Excellent question Bloak! The proof is for a foundation that can formalize its own provability. Consequently, ⊢⊢I’mUnprovable means that ⊢I’mUnprovable is provable in the foundation.