>>83
>f(∀β∈ω1 ∪W≦β<α→f(β)=f(∪W))→f(α)=sup{f(β)|β<α}=sup{f(∪W)}=f(∪W)
最初のfはtypoで変なところに入ってしまった
超限帰納法で∪W≦β<αであるすべてのβについてf(β)=f(∪W)の場合を考えているので
(∀β∈ω1 ∪W≦β<α→f(β)=f(∪W))→f(α)=sup{f(β)|β<α}=sup{f(∪W)}=f(∪W)