20/03/24 19:28:48 MEXav4AL.net
>>632
>明らかに、”うまく代表rXを選ぶことができて、d番目からさきが一致するようにできる”がおかしい
まず代表rXの選択を肯定するなら、どう代表を選んでも
任意の数列Xに対しても必ずある自然数dが存在して
d番目から先が、数列Xが所属する同値類の代表rXと一致する
なぜなら、代表元はそれが所属する同値類の中の任意の数列と同値だから
したがって否定するのは
”代表rXを選ぶことができて、”
その場合、選択公理を否定することになる
ただ「おかしい」というだけでは
「選択公理から矛盾が導かれる」
とはいえない