Con(T) ってどんな定義ですか？

あとT├"¬Pr（ゲーデル文に対応する数項）がTで証明可能でない"って切ればいいの? それは g がゲーデル数の計算として¬Pr(g(¬Pr(ゲーデル文に対応する数項)))?

でも ゲーデル文 = ¬Pr(g(ゲーデル文)) という不動点だから

¬Pr(g(¬Pr(g(ゲーデル文))))
= ¬Pr(g(ゲーデル文))
= ゲーデル文

になる。