Na lógica matemática , mais precisamente na teoria do modelo , um modelo não padrão de uma teoria é um modelo dela cujo conjunto de base é diferente do modelo "padrão" da teoria (quando há um), sendo o exemplo mais comum o conjunto ℕ de inteiros com suas operações usuais, que é o modelo padrão das teorias aritméticas, como a aritmética de Peano . Qualquer modelo não padrão da aritmética de Peano tem uma cópia isomórfica de ℕ (a interpretação dos termos da linguagem) como seu segmento inicial.
Um modelo não padrão pode ou não ser elementarmente equivalente ao modelo padrão, ou seja, satisfazer as mesmas afirmações fechadas (em caso afirmativo, é um modelo não padrão da Teoria do Modelo Padrão, que é completo por definição). Pode ou não ser uma extensão do modelo padrão e atender aos mesmos parâmetros definidos no modelo padrão, ou seja, ser uma extensão elementar (in) .