>>81
>「一般の無限列ではそんな(具体的に尻尾同値類の代表を指定する)ことは不可能」と宣うが、
>有限列でも同じだ

実は有限列なら尻尾同値類の代表を具体的に指定できる
故に選択公理不要だけど、知らなかった?🤣

>例えば、 任意有理数 ∀q∈Q で 3列で q1,q2,q3 を考える。
>しっぽ同値はq3で決まる。
>例えば q'1,q'2,q'3で
>q3 =q'3なら 同値で、
>q3 ≠q'3なら 同値ではない
>ゆえに 同値類は可算無限あり 可算選択公理要!

任意のq3∈Qについて、
(0,0,q3)が尻尾同値類の代表と
具体的に指定できる
故に可算選択公理不要だけど、知らなかった?🤣

>同様に、 任意実数 ∀r∈R で 3列で
>同値類は連続無限あり フルパワー選択公理要!

任意のr3∈Rについて、
(0,0,r3)が尻尾同値類の代表と
具体的に指定できる
故に連続選択公理不要だけど、知らなかった?🤣

選択公理について何も分かってないんだね
高卒素人君 🤣🤣🤣

>”(選択関数の中の)1つを決めて、決して変えないのは当然である”は その通りだが
>しかし 『どう決めたの』と聞かれて 答えられないならば ある場面では 決めてないのと同じ

その思考が🐎🦌
どう決めたか述べる必要はない

選択公理を設定した意味が分かってないね
高卒素人君 🤣🤣🤣