Diese Definition von kategorisch folgt: Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Abschnitt 8.5. Die ursprüngliche Definition von kategorisch verlangte für Kategorizität, dass es bis auf Isomorphie nur ein Modell gibt, was aber nach dem Satz von Löwenheim-Skolem nur für vollständige Theorien mit (genau) einem endlichen Modell zutrifft. (O. Veblen, 1904, s. Wilfrid Hodges: First Order Model Theory. In: Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy.)
