ℵ_0と2^ℵの間に何もないという事は証明不可能なんだよ
(という事が証明されている)