emacs-w3m (Part 2)

emacs-w3m (Part 2)at UNIX

emacs-w3m (Part 2) - 暇つぶし2ch117:Zeno ◆5nZQbNmQPs
05/04/07 20:51:33
Reply-to:>>116
> なんだそのsignature

　　　　　　　　　　Go''del's First Incompleteness Theorem.

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

次ページ

続きを表示

1を表示