catégoricité
nom féminin
(de catégorique)
- 1. Caractère d'une théorie logique qui ne contient pas de relation indécidable.
- 2. Propriété d'une théorie mathématique dont tous les modèles sont isomorphes. (On peut alors construire, entre les univers de deux modèles quelconques de cette théorie, une bijection qui préserve les relations et opérations.)
