[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
819(2): 2022/11/06(日)15:16 ID:+aEgKflC(9/12) AAS
代表選出関数は使ってよくて箱の位置から箱の中の実数を求める関数を使ってはいけないの不思議だな
821: 2022/11/06(日)15:21 ID:aV+KEqav(23/54) AAS
>>819
＞代表選出関数は使ってよくて箱の位置から箱の中の実数を求める関数を使ってはいけないの不思議だな
それ誰がいつどこでいってる？
ワタシは一度もいってないし、nNTYWkJtも言ってない
ワタシは選択公理を認めるなら代表選出関数は使えるといっている
nNTYWkJtは選択公理は認めるがそれだけでは代表選出関数の使用は認められないといっている
そう理解しているが？君の理解は違うのか？何がどう違う？
825(1): 2022/11/06(日)15:46 ID:+0wVTm4U(26/43) AAS
>>819
>代表選出関数は使ってよくて
「R^N/〜 の代表系を選んだ箇所で選択公理を使っている.」
と明言している。
>箱の位置から箱の中の実数を求める関数を使ってはいけないの不思議だな
使ってはいけないんじゃなくて無いｗ
有るというなら証明してみて
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s