>ソロヴェイモデルの大きな意義は、「選択公理→非可測集合の構成」ってことですよ

何かおかしなこと言ってる。
「選択公理→非可測集合の構成」ならヴィタリ集合で示せますね。
これは簡単な話。ソロヴェイモデルの意義を誤解してますね。