数理論理学（数学基礎論） その11at MATH数理論理学（数学基礎論） その11 - 暇つぶし2ch410:１３２人目の素数さん 13/10/27 22:10:42.94 >>404 自然数全体の集合 置換公理 の両方が必要になってくる。 全く自明でないし、存在しないという疑いはなくならない。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch