＞どういうこと？
そういうこと。

つまりPr(g(⊥))は証明不能だから、真の場合も偽の場合もある。
Pr(g(⊥))をもとの公理系Tに追加した公理系T'も無矛盾！！！