kategoričnost

Logika, vlastnost formalizovaných teorií, nějaká teorie je kategorická, jsou-li každé dva její modely izomorfní. Tento postulát mohou splňovat jen teorie s konečnými modely. Pro teorie s nekonečnými modely se postuluje slabší podmínka: kategoričnost v mohutnosti relativizovaná k určitému kardinálnímu číslu.