>>89
>正の実数全体を整列させて {r_α} (α<Ω) とする。
選択公理でこんなことができるってのが、
この証明がすごく直感に反する理由か…