>>493-495
ID:+Yd1Eawjは、御大か
早朝の巡回ご苦労さまです
赤ペンチェック巡回ご苦労さまです(^^

多分 赤ペンチェックの意図は
1)”そもそも2^ℵ0が整列可能でなければならない理由はないけどね”
 → 選択公理=整列可能定理で 整列可能でない集合はZFC内には存在しないぞ
2)”もし閉じた箱が、他の無限個と完全に独立なら”
 →『もし閉じた箱の中の実数をピタリと言い当てたら』の条件は
 普通に考えて 箱の外との情報のやり取りはない!
 ゆえに、箱の内と外とは”独立”という前提だ
 選択公理で ”独立”が破れるだと?w
 選択公理の役割は、妖しい雰囲気を醸し出すことだけだよ(>>17)(^^