Π01言明について理解しておこうat MATHΠ01言明について理解しておこう - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト239:１３２人目の素数さん 25/10/21 03:04:49.73 +tHhg6Hh.net >>1 おそらく既出と思うが >ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、 正しい >この理論は真なるΠ01言明「ZFCは無矛盾である」 A⇒B から A を推論できないので間違い >を自明に反証できる。 正しい ゆえに一階述語論理の健全性の反例になっていない 240:１３２人目の素数さん 25/10/21 03:04:49.76 +tHhg6Hh.net >>1 おそらく既出と思うが >ZFCが無矛盾であれば ZFC+「ZFCは矛盾している」 という理論も無矛盾であるが、 正しい >この理論は真なるΠ01言明「ZFCは無矛盾である」 A⇒B から A を推論できないので間違い >を自明に反証できる。 正しい ゆえに一階述語論理の健全性の反例になっていない 241:poem 25/10/21 21:23:25.06 4nXavK3w.net 条件とモジュールの構築は数学者に任せてる気でいる随筆を、578にした https://mao.5ch.net/test/read.cgi/occult/1736270826/575-576/ ↓のコメントに対し https://mao.5ch.net/test/read.cgi/occult/1736270826/578-579/ ─ 雑多 https://rio2016.5ch.net/test/read.cgi/sci/1760704206/39-66/ ↓ビルトイン https://itest.5ch.net/rio2016/test/read.cgi/math/1755614790/21-31/ ─ ～戦の用途の知力、とは https://rio2016.5ch.net/test/read.cgi/sci/1743619067/18-20/ ─ ノーベル賞と研究予算が一切関連してないらしい https://rio2016.5ch.net/test/read.cgi/sci/1759571910/111-129/ ─ https://itest.5ch.net/rio2016/test/read.cgi/math/1760378250/37/ ・ https://itest.5ch.net/rio2016/test/read.cgi/math/1760378250/47/ ─ 不適合をしか知らぬならどちらにしろわからん。まず文節だったなんて https://rio2016.5ch.net/test/read.cgi/math/1759741212/4-16/ ─ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch