Mというのは任意の可測基数が存在するという主張?
「任意」じゃなく「ある」だとそのある可測基数より大きい到達不能基数が存在するからZFC+Uの無矛盾性を証明できないはず