数学基礎論・数理論理学のスレッド　その7


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

95 名前：79 mailto:sage [2011/01/03(月) 19:57:46 ]: すいません
流れが読めてないついでにもうちょっと聞いてみたいんですけど
>>56 = >>88 さんの主張は
「閉論理式の集まりは，ZFCで集合として取り扱えるものではない」
あるいは
「極大無矛盾集合の構成には，ZFCでは許されていない操作が含まれている」
ということなんでしょうか？
それとも
「完全性定理の証明にはなんらかの超越的な公理が必要だが
それはかくかくしかじかの点で問題がある」
ということなんでしょうか？

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef