実用上数学ができるために「公理」は何なのか (25レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
12(4): 11/19(水)10:21 ID:aWgYc3s0(1) AAS
「可算集合の可算和は可算集合」は選択公理がないと証明できない。
測度論をやるときに困る
測度論まで行かなくても、何かしら点列を構成するとき、
あるいは点列から部分点列を取るとき、従属選択公理がないと取れないことがある
で、選択公理のたぐいを仮定するなら、もうZFCと大差ない
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 0.296s*