Reply-to:>>824
　　　　　　　　　　　　　恐らくそれが一番楽であろう。

Reply-to:>>825
　　　　　　 吾は Lisper ではないから Franz にはいかないであろう。
　　　　　Computer Science でいくのであれば AI 系の会社に入るだろうね
　　　　　　　　　　 なににしてもつまらん仕事はしたくない。

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