En la teoría matemática de conjuntos , el modelo de Mostowski es un modelo de teoría de conjuntos con átomos donde falla el axioma de elección completo , pero cada conjunto puede ordenarse linealmente . Fue introducido por Mostowski ( 1939 ). El modelo de Mostowski se puede construir como el modelo de permutación correspondiente al grupo de todos los automorfismos del conjunto ordenado de números racionales y el ideal de los subconjuntos finitos de los números racionales.