Noun
categoricity (uncountable)
The quality of being categorical.
Categoricity As observed in the section on first-order logic, first-order theories cannot be categorical, i.e. they cannot describe a unique model up to isomorphism, unless that model is finite. Source: Internet