[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋9 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
756(1): 2023/09/06(水)16:36 ID:EcgAHUZx(29/37) AAS
>>748
>いまの箱入り無数目で言えば、同値類から
>「自分の好みの代表を取るぜ」は可
>（同値類で言えば、標準的な代表が相当するだろう）
箱入り無数目の同値類の標準的な代表って具体的に何？
君何にも分かってないね
そんなもんが存在しないから選択公理が必要なんだよ
759(1): 2023/09/06(水)16:55 ID:3MlLjGqZ(3/8) AAS
>>756
そのレベルの話は終わったんだよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.266s