Reply-to:>>787
　　　　　　　　　　　　　　　　覚えなくていいよ

_________________
If T is consistent, T !|- G_T.
If T is ω-consistent, T !|- ¬G_T. -- Kurt Gödel