>>556
>もしkが連続すなわち極限順序数α=∪αについて
>k(α)=k(∪α)=∪{k(β)::β<α}
>であることが言えれば
k(x)が正則基数であることと矛盾