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.

Prinzip

Die ordnende Idee ist, dass Vollständigkeit und Kompaktheit der Prädikatenlogik erster Ordnung zusammen mit flexiblen Kodierungen von Strukturen Modelle erlauben, die beabsichtigte Elemente erweitern oder verzerren (z. B. durch 'unendliche' ganze Zahlen oder Infinitesimale) und dabei dennoch alle Axiome erfüllen.

Demonstration

Die Peano-Arithmetik besitzt nichtstandardmäßige Modelle, die 'unendliche' Zähler jenseits jeder standardmäßigen natürlichen Zahl enthalten; die nichtstandardmäßige Analysis liefert Erweiterungen der reellen Zahlen mit Infinitesimalen und unendlichen Elementen, die dennoch das Transferprinzip erfüllen.

Fehlanwendung

Nichtstandardmodelle als irrelevant oder fehlerhaft abzutun, weil sie der Intuition nicht entsprechen; oder anzunehmen, ein nichtstandardmäßiges Modell widerlege die Standardtheorie, statt die Unterscheidung zwischen Syntax und intendierter Semantik zu erkennen.

Konsequenz

Die Anerkennung nichtstandardmäßiger Modelle betont die modelltheoretische Vielfalt und legt nahe, alternative Techniken (z. B. Transfer, Sättigung) für Beweise und Intuitionen zu nutzen; sie verlangt Klarheit darüber, wann man von 'dem' Struktur versus 'einem' Modell der Axiome spricht.

Umkehrung

Das Gegenteil ist eine kategoriale Theorie, in der jedes Modell isomorph zum intendierten Standardmodell ist (in den relevanten Kardinalitäten und Semantiken), wodurch nichtstandardmäßige Elemente durch stärkere Axiome oder höherordentliche Einschränkungen ausgeschlossen werden.

Abgrenzung

Gilt für formale Theorien, deren Axiome die intendierte Struktur nicht kategorisch charakterisieren; schließt Kontexte aus, in denen das 'Standardmodell' durch stärkere Semantiken eindeutig festgelegt ist (z. B. volle Zweitordnungs-Peano-Axiome) oder durch zusätzliche metatheoretische Verpflichtungen.

Semantische Spannung

Spannung zwischen modelltheoretischer Sicht (viele Modelle der Axiome existieren) und platonischer oder intendierter-Struktur-Sicht (es gebe eine einzige korrekte Struktur); welche Perspektive eingenommen wird, beeinflusst die Verwendung oder Ablehnung nichtstandardmäßiger Modelle.

Synthese

Ein nichtstandardmäßiges Modell ist kein Fehler, sondern ein legitimes modelltheoretisches Objekt: Es erfüllt die Axiome, enthält jedoch Elemente, die die ursprüngliche informelle Konzeption nicht vorsah, und macht so die Lücke zwischen syntaktischer Adequanz und semantischer Intention sichtbar.