Esto ye interesante porque en principiu la clase de modelos que satisfai una cierta teoría ye malo de conocer, una y bones les teoríes matemátiques interesantes polo xeneral almiten toa clase infinita de modelos non isomorfos, polo que la so clasificación polo xeneral resulta difícilmente abordable si nun esiste un sistema lóxicu y un conxuntu d'axomes que caracterice los distintos tipos de modelos.