>>142
一般に、ある集合Sがある順序数Oと全単射なら
当然整列可能
Sの冪集合からその要素への選択関数も
整列順序から具体的に構成出来る

また、一般に集合Sについて、
その冪集合から要素への選択関数が存在すれば
それを使ってSを整列出来る
ただどの順序数と等しいかまでは分からんが

コーエンが実数について示したのはそれ