実用上数学ができるために「公理」は何なのかat MATH実用上数学ができるために「公理」は何なのか - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト7:１３２人目の素数さん 25/11/19 09:46:27.04 gyZCFnDV.net 一階述語論理も要る 8:１３２人目の素数さん 25/11/19 10:10:11.36 yd0Siigu.net 代数閉体の存在性に選択公理が必要 9:１３２人目の素数さん 25/11/19 10:10:23.44 Ez6RaTPt.net 二階述語論理 10:１３２人目の素数さん 25/11/19 10:10:53.85 Ez6RaTPt.net 三回術後論理 11:１３２人目の素数さん 25/11/19 10:19:46.68 Ez6RaTPt.net >>1 砂上の楼閣 12:１３２人目の素数さん 25/11/19 10:21:59.76 aWgYc3s0.net 「可算集合の可算和は可算集合」は選択公理がないと証明できない。 測度論をやるときに困る 測度論まで行かなくても、何かしら点列を構成するとき、 あるいは点列から部分点列を取るとき、従属選択公理がないと取れないことがある で、選択公理のたぐいを仮定するなら、もうZFCと大差ない 13:１３２人目の素数さん 25/11/19 10:24:05.16 OyRPw0F2.net 選択公理は集合論じゃん 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch