Reply-to:>>378

何が可笑しい

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