スレタイ箱入り無数目を語る部屋35(あほ二人の”アナグマの姿焼き"Part9ｗ)

>∀α:<κ.∃β<κ:β∈K∩κ
>順序同型k:Ord→Kの不動点がκなら
>α<κに対してα<k(α)<k(κ)=κ
>なのでこれが言える
k(α)∈Kが言えるのはなぜ？