集合論について

[0147 １３２人目の素数さん 2014/04/03(木) 15:40:43.86]

>142で言っているのは非可算な整列集合が存在するということだけで、
>後者を示すだけなら選択公理みたいなものは使わない。
実数の集合がその例ですね。非可算かつ自然な順序関係によって整列される