cf(α)=α
である順序数はωαに限る
たしかに
cf(ω0)=ω0
cf(ω1)=ω1
だが
cf(ωω0)=ω0<ωω0
つまり
どんな順序数αでも
cf(ωα)=ωα
となるわけではない
αが後続順序数の場合は
cf(ωα)=ωα
だが
極限順序数αで
cf(ωα)=ωα
となるものはあるのかないのか