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

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