巨大数を語り合うスレ

161: 2024/03/08(金)22:47 ID:JIdAAjLk(1/5) AAS
>>160
>ℵ1<2^ℵ0 である以上
それ言えないんぢゃ
巨大基数がないとね

162: 2024/03/08(金)22:48 ID:JIdAAjLk(2/5) AAS
あー
正しくは
巨大基数があれば言える

163: 2024/03/08(金)22:49 ID:JIdAAjLk(3/5) AAS
で
巨大基数があるとは言えない

164: 2024/03/08(金)22:51 ID:JIdAAjLk(4/5) AAS
>>160
しかも>>151では（実数はℵ2）が本質よ

165(1): 2024/03/08(金)22:54 ID:JIdAAjLk(5/5) AAS
巨大基数の存在を仮定すれば
ℵ0<ℵ1<2^ℵ0=ℵ2
つまり実数の中に実数より濃度が低く有理数より濃度の高い部分集合を具体的に作れる