A similar idea occurs in mathematical logic: a theory is called categorical if all its models of the same cardinality are mutually isomorphic.
Gagasan yang serupa muncul dalam logika matematika: suatu teori dikatakan "kategoris" jika semua modelnya yang berkardinalitas sama adalah saling isomorfik.