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