>>228
>cf(α)=α
>である順序数はωαに限る
クラス関数
cf:Ord→Ord
の不動点となる順序数はωαに限る
と言うべきだった