数学基礎論・数理論理学 その17at MATH数学基礎論・数理論理学 その17 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト400:￥ ◆2VB8wsVUoo 16/09/13 08:26:37.47 SVOgK8nu.net ￥ 401:１３２人目の素数さん 16/09/13 12:05:46.09 q1DaoImW.net >>341 二項述語をひとつ追加しただけで逆理が発生するわけがない。 集合論のどの公理を追加してもしなくても発生しないよ。 402:￥ ◆2VB8wsVUoo 16/09/13 12:51:05.65 SVOgK8nu.net ￥ 403:１３２人目の素数さん 16/09/13 13:04:47.77 RhNEBU+C.net >>341,390 はいバカ確定 論理式に出てくる記号がラッセル集合である場合に対しては矛盾するから任意の対象に対しては成立しない論理 A と書いたときにAが何なのか指定しないで論理式が成立すると主張することは、Aが何であっても成立することをも主張してしまうがAがラッセル集合のときには明らかに矛盾を来す 404:１３２人目の素数さん 16/09/13 13:05:41.22 RhNEBU+C.net ∈も⊂も存在しない体系であってすらラッセル集合の恐怖から逃れることは不可能 405:１３２人目の素数さん 16/09/13 13:08:34.92 l1pBrcDI.net 記号を追加したら記号の見た目に応じた公理まで自動的に追加されると思い込んでるウツケ者 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch