[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
852(1): 2023/09/07(木)06:10 ID:K+mr7/6f(5/17) AAS
ソロベイ・モデルを持ち出すなら、選択公理を否定せねばならない
ソロベイ・モデルでは、選択公理は成立しないのだから
859(4): 2023/09/07(木)07:44 ID:b9Utfoe3(3/12) AAS
>>852
>ソロベイ・モデルを持ち出すなら、選択公理を否定せねばならない
>ソロベイ・モデルでは、選択公理は成立しないのだから
スレ主です
・それと、箱入り無数目とは関係ない
・箱入り無数目で使うのは、有限個の数列であって、各数列から決まる有限個の同値類を使うのみ
・よって、フルパワー選択公理は不要。有限個の同値類を、集合族として 有限個の代表を選ぶのみ
・フルパワー選択公理を否定しても、有限100個の列から決まる同値類から 有限100個の代表を選ぶことは否定できない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s