>>247
>Vμにはμより大きな強到達不能基数は入ってない、よろしい？
これはいい
>ZFC+Uからμより大きな強到達不能基数の存在が言える、よろしい？
μより大きい順序数は考えなくて良い
それは
Uが∀α.∃κ:α<κ∈K
という論理式で
これをVμで解釈すると
∀α∈Vμ.∃κ∈Vμ:α<κ∈K∩Vμ
すなわち
∀α<μ.∃κ<μ:α<κ<μ∧κ∈K
でこれはμが
k(μ)=μ
を満たせば成立するよね？
つまり
VμはUを充足するよ