数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト200:184 11/01/24 07:08:31 >>198 ラムダ計算が矛盾したんだ。 ZFのだめだろう。 201:１３２人目の素数さん 11/01/24 07:12:13 モノイド空間を定義して そこで健全性定理をイーストンの定理で導入すればZFが矛盾する。 202:１３２人目の素数さん 11/01/24 12:04:44 >>199 あった 203:１３２人目の素数さん 11/01/24 20:48:38 >>201 はいはいわろすわろす 204:201 11/01/24 23:07:59 >>203 > >>201 > はいはいわろすわろす バカにするわけじゃないけど、 これ俺の近所の小学生の会話の中にもあった（笑い 205:201 11/01/24 23:08:49 まぁ実際健全性定理が成立する体系なんてごくわずかな例外的な存在だけどなぁー。 206:１３２人目の素数さん 11/01/24 23:33:57 健全なんて幻想、セカイは不健全なものなのです。 207:201 11/01/25 23:54:05 健全性定理と完全性定理が同時に成立しないということが、 ２階述語論理の第２不完全性定理の意味論。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch