ZFC+CHなら|R|=|2^N|=|ω1|だからまだ分かり易いけど結局全単射f:ω1→Rを構成するのに選択公理は必要