kategorisk
kategorisk, fullkomligt och orubbligt bestämd (på ett oresonligt sätt).
I logiken sägs ett axiomsystem vara kategoriskt när alla dess modeller är isomorfa (jämför isomorfi), vilket innebär att systemet är maximalt fullständigt.
Källangivelse