Nichtstandardmodell

Ein Modell einer formalen Theorie, das alle Axiome der Theorie erfüllt, aber Elemente oder Relationen enthält, die in der intendierten oder ‚standardmäßigen‘ Interpretation nicht vorkommen; solche Modelle werden oft durch modelltheoretische Konstruktionen wie Kompaktheit oder Ultraprodukte erzeugt.