数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch148:１３２人目の素数さん 11/01/16 10:30:53 >>145 単純に、ZFCが無矛盾だとすれば、の前提つきでの話。 もちろん、矛盾していても証明できるけど。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch