categoricità

sf. [da categorico]. Qualità di ciò che è categorico; valore assoluto, indiscutibile: categoricità di un asserto, di un comando. In particolare, in logica matematica, proprietà di un insieme di assiomi o di postulati o di una teoria consistente nell'ammettere uno e un solo modello; presi cioè due qualsivoglia modelli A e B di essi, questi risultano essere isomorfi. È allora possibile stabilire una corrispondenza biunivoca tra i domini dei due modelli in modo tale che se la relazione R vale tra gli individui a e a´ di A, la stessa relazione vale tra gli individui corrispondenti di B.