>>97
>effective か 否かで説明できると思う
>つまり、囚人と帽子パズル無限版は、
>ハズレ帽子の有限か無限かの区別を、
>選択公理を使って実現する
全然違うよ

囚人と帽子でも
「有限個の違いを除いて同値」という同値類
から代表を得るのに選択公理を使ってる
そこは箱入り無数目と全く同じ

理解してから書こうな
あんたの一番悪いところは
自分は分かってて他人が分かってないと思い込むこと
いままでどうだった？　全部逆だったろ？