I matematisk logikk , nærmere bestemt i modellteori , er en ikke-standard modell av en teori en modell av den hvis basissett er forskjellig fra "standard" -modellen for teorien (når det er en), og det vanligste eksemplet er sett ℕ av heltall med sine vanlige operasjoner, som er standardmodellen for aritmetiske teorier, for eksempel Peano-aritmetikk . Enhver ikke-standard modell av Peano-aritmetikk har en isomorf kopi av ℕ (tolkningen av språkuttrykk) som sitt første segment.
En ikke-standard modell kan være eller ikke kan være ekvivalent med standardmodellen, dvs. tilfredsstille de samme lukkede uttalelsene (i så fall er det en ikke-standard modell av Standard Model Theory, som er komplett per definisjon). Det kan eller ikke være en utvidelse av standardmodellen og oppfylle de samme parametrene som ble avsluttet i standardmodellen, det vil si en elementær utvidelse (in) .