>>508
＞>>507
＞連続体仮説（選択公理）
連続体仮説と選択公理は別物ですよ。
それに今の場合だと単なる連続体仮説でなく
一般化された連続体仮説を仮定するべきです。
そもそも、アレフ2などと言わずに実数体のベキ集合の濃度と言えばいいだけの話です。
それなら連続体仮説などは不要です。