>>240
到達不能基数の全体KはOrdと順序同型なクラスで
k:Ord→Kをその順序同型とするとき
おそらく可測基数μはkの不動点になるんだと思う
k(μ)=μなので
μより小さな到達不能基数全体について
∀α<μ.∃β∈K:α<β
が言えるので
VμがZFC+Uのモデルになる
（同様の考察を基礎論スレに書いているけれどそっちは可測基数は関係ない）