kategoričnost
kategoričnost, log . 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: k. v mohutnosti relativizovaná k určitému kardinálnímu číslu.
