>>567
自分もちょっと考えてみて
kに連続性を仮定するのは無理かもと思うようになったけど
いずれにせよ
>>∀λ∈ON:(λ<k(λ))
>は狭義単調増加とω<k(0)だけから出る。
これは間違い
Ordと順序同型な
K=ω+1+Ord={ω+1,ω+2,…,ω2,ω2+1,…,ω3,…,ω^2,…}
では
k(0)=ω+1
k(1)=ω+2
…
k(ω)=ω2
k(ω2)=ω3
…
k(ω^2)=ω^2
以降すべて
k(α)=α
このkはOrdとKとの順序同型でもちろん単調増加
しかもk(0)=ω+1>ω
だけどk(ω^2)=ω^2
という不動点がある