>VμがZFC+Uのモデルになる
Vμにはμより大きな強到達不能基数は入ってない、よろしい？
ZFC+Uからμより大きな強到達不能基数の存在が言える、よろしい？
VμはZFC+Uを充足しない、よろしい？
VμはZFC+Uのモデル足りえない、よろしい？

よろしくない場合は何がなぜよろしくないか答えて