実用上数学ができるために「公理」は何なのか (25レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

12
(4): 11/19(水)10:21 ID:aWgYc3s0(1) AAS
「可算集合の可算和は可算集合」は選択公理がないと証明できない。
測度論をやるときに困る

測度論まで行かなくても、何かしら点列を構成するとき、
あるいは点列から部分点列を取るとき、従属選択公理がないと取れないことがある

で、選択公理のたぐいを仮定するなら、もうZFCと大差ない
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.296s*