>>88
>極限数の全体も可算な整列集合をなすから ωと順序同型
ω^2+ω^2の極限順序数の全体は
ω,ω+ω,…,ω^2,ω^2+ω,ω^2+ω+ω,…,ω^2+ω^2
なのでωと順序同型じゃ無いよ