[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
746: 2022/10/12(水)11:38 ID:TRiiI02m(10/14) AAS
>>741
＞つまり、100個の代表を考えるなら、
＞∪K^n (n∈N)から100個の元を選べば済む
＞だから、
＞選択公理を使わないで済ますことができる
まさしく選択公理を使わずに時枝記事と同等のゲームを記述したのが>>581-583。
しかもスレ主お得意の多項式環・ベキ級数環まで忠実に再現している。
その >581-583 をいつまでもスルーし続けているのがスレ主という構図。
上下前次1-新書関写板覧索設栞歴
あと 256 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s