>>102
Tの矛盾を仮定すると
それの無矛盾性を証明するTも矛盾するので
Tが無矛盾であることと矛盾するから、
無矛盾なTからTの矛盾を証明することはできない。
この事実と第二不完全性定理より、
自己の無矛盾性の証明は自己から決定不能（独立）となる。