- 107 名前：12 mailto:sage [2011/11/01(火) 07:21:40.31 ]
- >>101
＞完全性定理が普遍的には成り立たないとしたら何がおこるんだろうか。
＞AがTで妥当であり、T[¬A]もT[A]も矛盾していない、実例を作れたらな。
「妥当」という言葉の定義は御存知ですか？
AがTで妥当であって、¬AもTで妥当である、という場合も存在しますよ。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その10
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef