Reply-to:>>789
　　　　　　　　　　　彼女は吾に向かって言っていたようだ。

Reply-to:>>790
　　　　　　　 ゲーデルの First Incompleteness Theorem であるぞ。

Reply-to:>>791
> 文字化けしていますよ。
　　　　　　　　　　 吾の環境ではきちんと表示されているぞ。
　　　　　　　　　　　　 ではこれなら大丈夫だろう (↓)

_________________
If T is consistent then T !|- R_T
If T is consistent then T !|- ¬R_T. -- John B. Rosser