>>75
>でも非可算集合にはなるからg:W→Rは順序を保つ単射なのであとはオミゴト
ではなかった
Wが順序数でないとx∈Wについてx+1∈Wが言えないのでは？
けど
∀x∈W∃y∈W x<y
は言えるからそのようなyの最小をx+とでも書いて
g(x)<q(x)<g(x+)
みたいに選べば良さそう
あるいはWが非可算順序数ω1と順序同型になることを証明するかでしょうか

自分の考えた解答は以下の通り