>>440
>始順序数の中のどの要素を選んでも
>それより大きい順序数の全体が
>始順序数と同じ濃度というのが
ω1+ω0は?