>>121はだから

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　Pr(x)⊃Pr(g(Pr(x)))
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　--------------------------
¬G⊃Pr(g(G)) 　　　Pr(g(G)) ⊃Pr(g(¬Pr(g(G)))　　　　Pr(g(G))⊃Pr(g(Pr(g(G)))
-----------------------------------------------------------------
　　　　　　　　　　　¬G⊃¬Con(T)
　　　　　　----------------------------
　　　　　　　　　　　　Con(T) ⊃ G

のように訂正しなくては。Sub'(n,g(G)) は定理だと思うので¬G⊃Pr(g(G))は簡単。Pr(g(G)) ⊃Pr(g(¬Pr(g(G)))は

　　　　　　　　　　　　　　　　　G
　　　　　　　　　　　　　---------------------------
　　　Sub'(n,g(G))　　　Sub'(n,g(G))⊃¬Pr(g(G))
　　　------------------------------------
　　　　　　　　　　　¬Pr(g(G))

というような「Gの証明木から¬Pr(g(G))の証明木が作れることの証明」をしなくてはいけない。

で肝心のPr(x)⊃Pr(g(Pr(x)))についてはまだよくわかりませんが。。。