Debe tenerse presente que dada una teoría lógica de primer orden generalmente existe más de un modelo para dicha teoría, y dichos modelos usualmente no son isomorfos.