"categoricity" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "categoric",
        "3": "ity"
      },
      "expansion": "categoric + -ity",
      "name": "suffix"
    }
  ],
  "etymology_text": "From categoric + -ity.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "categoricity (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms suffixed with -ity",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "2008 August 27, Luca Incurvati, “Too Naturalist and Not Naturalist Enough: Reply to Horsten”, in Erkenntnis, volume 69, number 2, →DOI:",
          "text": "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 second-order theory which provides us with a categorical characterization of the natural numbers as the smallest structure closed under a one-to-one successor operation and containing an element which is not the successor of any element.",
          "type": "quote"
        }
      ],
      "glosses": [
        "The quality of being categorical."
      ],
      "id": "en-categoricity-en-noun-dXdOiy~0",
      "links": [
        [
          "categorical",
          "categorical"
        ]
      ],
      "tags": [
        "uncountable"
      ]
    }
  ],
  "word": "categoricity"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "categoric",
        "3": "ity"
      },
      "expansion": "categoric + -ity",
      "name": "suffix"
    }
  ],
  "etymology_text": "From categoric + -ity.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "categoricity (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms suffixed with -ity",
        "English terms with quotations",
        "English uncountable nouns",
        "Pages with 1 entry",
        "Pages with entries"
      ],
      "examples": [
        {
          "ref": "2008 August 27, Luca Incurvati, “Too Naturalist and Not Naturalist Enough: Reply to Horsten”, in Erkenntnis, volume 69, number 2, →DOI:",
          "text": "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 second-order theory which provides us with a categorical characterization of the natural numbers as the smallest structure closed under a one-to-one successor operation and containing an element which is not the successor of any element.",
          "type": "quote"
        }
      ],
      "glosses": [
        "The quality of being categorical."
      ],
      "links": [
        [
          "categorical",
          "categorical"
        ]
      ],
      "tags": [
        "uncountable"
      ]
    }
  ],
  "word": "categoricity"
}