大学学部レベル質問ス ..
868:１３２人目の素数さん
18/06/27 22:28:00.97 +QjILrgv.net
>>842
何を疑問に思ってるのか分かんないや
Zornの補題は「帰納的なら極大がある」
選択公理は「集合族には選択関数が存在する」
てことで
ZFだけなら「帰納的でも極大があると証明できない」
ZFに¬Cなら「帰納的でかつ極大がない集合があると証明できる」
だよ
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
1864日前に更新/269 KB
担当:undef