>>193
「実数の全体」という限定は必要ないのでは?

なお、可算集合は、選択公理がなくても、整列可能