No Categoricidad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
La propiedad de una teoría formal de admitir dos o más modelos no isomorfos que, sin embargo, satisfacen los mismos axiomas, demostrando que los axiomas no caracterizan de modo único una estructura intentada salvo isomorfismo.