[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
951(1): 2023/09/07(木)19:20 ID:K+mr7/6f(10/17) AAS
>>859
>・それ(ソロベイ・モデル)と、箱入り無数目とは関係ない
ソロベイ・モデルでは箱入り無数目は失敗しますけどね
>・箱入り無数目で使うのは、有限個の数列であって、各数列から決まる有限個の同値類を使うのみ
どの列を選んでも必ず同じ代表が選べるならば、箱入り無数目は成功します
そして、実は、どの列を選んでも必ず同じ代表が選べる、というのは、選択公理から導かれることです
>・よって、フルパワー選択公理は不要。有限個の同値類を、集合族として 有限個の代表を選ぶのみ
「有限個の同値類から、有限個の代表を選ぶ」のは何の公理も要りません
で、列の全情報がわかっていても、ひと箱だけ未知でも、
省12
977: 2023/09/07(木)21:08 ID:b9Utfoe3(9/12) AAS
>>949-953
>馬鹿大いに語る
スレ主です
ご苦労さまです
サイコパスのおサルさん 2chｽﾚ:math
必死だねｗｗｗ
地底人たちｗ
もう終わっているのに
デタラメを大いに語る
だねｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.900s*