Reply-to:>>405
　　　　　　　　　　　　　なぜ環境を書かない


____________
If T is consistent, T !|- G_T.
If T is ω-consistent, T !|- ¬G_T.