- 411 名前：１３２人目の素数さん mailto:sage [2011/11/15(火) 23:58:26.37 ]
- >>407
真摯なコメントありがとうございます。
>不完全性定理は有限の立場、つまり2項述語��を使ってよいなら、
>集合論を経由してかなりシンプルに証明できる。
様相論理を使う証明のことですか？
もう導出性条件の有限な証明を理解するのは諦めようかな、、、。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef