22/10/12 11:38:08.07 TRiiI02m.net
>>741
＞つまり、100個の代表を考えるなら、
＞∪K^n (n∈N)から100個の元を選べば済む
＞だから、
＞選択公理を使わないで済ますことができる
まさしく選択公理を使わずに時枝記事と同等のゲームを記述したのが>>581-583。
しかもスレ主お得意の多項式環・ベキ級数環まで忠実に再現している。
その >581-583 をいつまでもスルーし続けているのがスレ主という構図。
22/10/12 11:38:08.07 TRiiI02m.net
>>741
＞つまり、100個の代表を考えるなら、
＞∪K^n (n∈N)から100個の元を選べば済む
＞だから、
＞選択公理を使わないで済ますことができる
まさしく選択公理を使わずに時枝記事と同等のゲームを記述したのが>>581-583。
しかもスレ主お得意の多項式環・ベキ級数環まで忠実に再現している。
その >581-583 をいつまでもスルーし続けているのがスレ主という構図。