В теории моделей , дисциплине в математической логике , нестандартная модель — это модель теории, которая не изоморфна предполагаемой модели (или стандартной модели). [1]
Если предполагаемая модель бесконечна, а язык — первого порядка , то теоремы Лёвенгейма–Скулема гарантируют существование нестандартных моделей. Нестандартные модели могут быть выбраны как элементарные расширения или элементарные подструктуры предполагаемой модели.
Нестандартные модели изучаются в теории множеств , нестандартном анализе и нестандартных моделях арифметики .