Nichtkategorizität

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.