Reply-to:>>116
> なんだそのsignature

　　　　　　　　　　Go''del's First Incompleteness Theorem.


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