В математической теории множеств модель Мостовского — это модель теории множеств с атомами , в которой полная аксиома выбора не выполняется, но каждое множество может быть линейно упорядочено . Он был введен Мостовским ( 1939 ). Модель Мостовского может быть построена как модель перестановок , соответствующая группе всех автоморфизмов упорядоченного множества рациональных чисел и идеалу конечных подмножеств рациональных чисел.