- 109 名前：１３２人目の素数さん mailto:sage [04/12/24 17:03:36]
- ＞実際には「無矛盾性は体系内で証明できない」
＞のような書き方がなされていることが多いですよね？
まあ、そうですね。
＞これはどういう観点からなんですか？
例えばゲーデルの定義したBewとロッサー型のBewは
体系が無矛盾であるなら同じ意味ですが、両者の
同値性は、体系内では証明できません。
これがクライゼルの指摘からみちびかれる結論の
真に驚愕すべき点です。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef