梭羅維模型 在數學的集合論中梭羅維模型是一個由羅伯特M梭羅維英语Robert M Solovay在年建構的模型在這模型中策梅洛弗蘭克爾集合論ZF所有的公理成立但不包括選擇公理而在此模型中所有的集合都是勒貝格可測的這個模型的建構仰賴於不可達基數的存在 梭羅維藉此模型顯示說選擇公理對證明不可測集的存在性而言是必要的至少在與帶有選擇公理的策梅洛弗蘭克爾集合論ZFC相容的不可達基數存在的狀況下是如此