En la teoría modelo, una disciplina dentro de la lógica matemática, un modelo no estándar es un modelo de una teoría que no sea el isomorfo al modelo previsto (o al modelo estándar). Si el modelo previsto es infinito y la lengua es el de primer orden, después la garantía de los teoremas de Löwenheim-Skolem la existencia de modelos no estándar. Los modelos no estándar se pueden elegir como las extensiones elementales o subestructuras elementales del modelo previsto.

Los modelos no estándar se estudian en la teoría determinada, el análisis no estándar, y la aritmética no estándar .

athlogic-trozo .