ZFCの無矛盾性を公理にしたらバグった?at MATH
ZFCの無矛盾性を公理にしたらバグった? - 暇つぶし2ch1:132人目の素数さん
24/09/02 21:58:30.91 DpaaWxjB.net BE:134264519-2BP(1000)
URLリンク(img.5ch.net)
もう少し詳しく説明すると、以下の定理(*)が(スレ主の)直観に反して成り立たなさそうって思った。
(*):「公理Aを「ZFCは無矛盾である」とする。ZFCは無矛盾⇒ZFC+Aは無矛盾」
具体的には以下の感じで示そうとしたんだけど、どこが間違ってるのかわからんかったから教えてほしい
1.Aを「ZFCは無矛盾だ」という命題とする。 (ゲーデルの第二不完全性定理より、ZFCから独立である)
2.ZFC+Aの下ではZFCは無矛盾である(Aより)。
3.(*)が正しいと仮定する。
4. 2、3より、ZFC+AのもとでZFC+Aは無矛盾であると言える。
5.仮定と4より、ZFC+Aの下でZFC+Aが無矛盾であることを証明できてしまった。
6.ZFC+Aは、ZFCを含むのでゲーデルの第二不完全性定理が適用できるはずだ
7.よって自身の無矛盾性を示せるZFC+Aは矛盾している。
8.つまり、4に反する。
9.よって(*)は正しくない。


レスを読む
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch