>>507
確かに。連続体仮説が必要ですかね?

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AC%E3%83%95%E6%95%B0
アレフ数
連続体仮説(選択公理)