Usualmente una teoría consistente admite más de un modelo sólo las teorías categóricas admiten un modelo único.