>>394
>>(同値類とその代表からなる組の集合)Fを一つとることができるなら、箱入り無数目は成立する
>>逆に箱入り無数目が成立しないなら、(同値類とその代表からなる組の集合)Fは存在しない
>思い込み 論理飛躍
おかしな思い込みで思考停止してるのは世田(仮称) 君

>>その都度気まぐれに代表を選ぶ、とすると、
>>同じ同値類から、同じ代表が選ばれるということがない
>>それでは箱入り無数目は成り立たない
>その論理なら、箱入り無数目は成り立たない
>選択公理で主張するのは、代表の存在のみだよ
(誤)代表の(無数の)存在
(正)代表の選出による一意化
おかしな思い込みで誤解してるのは世田(仮称) 君

>>選択公理を前提すれば
>>同じ同値類から、かならず同じ代表が選ばれる
>それは不成立
>常識です
同じ代表が選べない=一意化できない=選択公理が成立しない
これが正しい常識
おかしな思い込みで誤解してるのは世田(仮称) 君

>>ただし選択公理を肯定しても矛盾しないので、
>>箱入り無数目が成立するという結論自体を肯定しても矛盾しない(笑)
>選択公理の否定肯定に、飛躍する前に
選択公理のステートメントを一切見ずに
「代表を一意化してない!代表の(無数の)存在だけ」
とおかしな誤解をしてるのは世田(仮称) 君