Non-Catégoricité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
La propriété d'une théorie formelle qui admet deux modèles non isomorphes satisfaisant pourtant les mêmes axiomes, montrant que les axiomes ne caractérisent pas de manière unique une structure visée à isomorphisme près.