EnglishEdit
EtymologyEdit
NounEdit
categoricity (uncountable)
 The quality of being categorical.

2008 August 27, Luca Incurvati, “Too Naturalist and Not Naturalist Enough: Reply to Horsten”, Erkenntnis, volume 69, number 2, DOI:10.1007/s1067000891141:
 For the arithmeticity of the axioms of PA—i. e. the claim that they can be seen as true on the basis of our basic grasp of the structure of the natural numbers—is motivated by Isaacson by appealing to the categoricity of PA 2 , the secondorder theory which provides us with a categorical characterization of the natural numbers as the smallest structure closed under a onetoone successor operation and containing an element which is not the successor of any element.
