Die Eigenschaft einer formalen Theorie, dass sie zwei oder mehr nichtisomorphe Modelle zulässt, die dennoch dieselben Axiome erfüllen; dies zeigt, dass die Axiome die intendierte Struktur nicht eindeutig bis auf Isomorphie charakterisieren.

Prinzip

Ordnungsidee: Erstordnungsaxiome lassen oft Freiraum für mehrere, nichtäquivalente Realisierungen, weil die Prädikatenlogik erster Ordnung im Allgemeinen nicht die Einzigkeit einer Struktur über alle Kardinalitäten hinweg erzwingen kann ohne zusätzliche Beschränkungen oder höherordentliche Mittel.

Demonstration

Die Gruppenaxiome sind nichtkategorisch, weil es viele nichtisomorphe Gruppen gibt, die dieselben Gruppenaxiome erfüllen; die Peano-Arithmetik in erster Ordnung ist nichtkategorisch, da sie nichtstandardmäßige Modelle erlaubt, die sich von den standardmäßigen natürlichen Zahlen unterscheiden.

Fehlanwendung

Nichtkategorizität mit Inkonsistenz oder Schwäche der Mathematik zu verwechseln; oder anzunehmen, Nichtkategorizität bedeute, die Theorie habe keinen nützlichen Gehalt, anstatt dass sie mehrere mit den Axiomen verträgliche Realisierungen zulässt.

Konsequenz

Nichtkategorizität signalisiert die Notwendigkeit, Axiome zu verfeinern, die intendierten Modelle einzuschränken oder zu stärkeren Logiken zu wechseln (z. B. Zweitordnung mit voller Semantik), falls Einzigkeit bis auf Isomorphie für die beabsichtigte Anwendung erforderlich ist.

Umkehrung

Das Umgekehrte ist Kategorizität, bei der eine Theorie bis auf Isomorphie genau ein Modell einer gegebenen Kardinalität oder unter einer gewählten Semantik hat; Kategorizität liefert die eindeutige Charakterisierung, die Nichtkategorizität vermissen lässt.

Abgrenzung

Hängt von Logik und betrachteten Kardinalitäten ab: Eine Theorie kann in erster Ordnung nichtkategorisch sein, aber in einer bestimmten Kardinalität oder unter Zweitordnungssemantik kategorisch sein; Nichtkategorizität schließt nur Eindeutigkeitsansprüche aus, nicht die Nützlichkeit der Theorie.

Semantische Spannung

Spannung zwischen dem Wunsch nach axiomatischer Suffizienz (eine Theorie, eine Struktur) und der modelltheoretischen Anerkennung multipler Realisierungen; diese Spannung beeinflusst die Entscheidung, reichere Axiome zu bevorzugen oder Modellpluralismus zu akzeptieren.

Synthese

Nichtkategorizität bezeichnet, dass Axiome mehrere nichtisomorphe Modelle zulassen; sie diagnostiziert, was die Axiome nicht festlegen, und fordert entweder die Akzeptanz pluraler Modelle oder die Verstärkung der Sprache, um Einzigkeit wiederzuerlangen.