Pues si un conjunto de fórmulas de un lenguaje de primer orden ℒ tiene un modelo infinito, entonces tendrá otros de cardinalidad mayor y, por tanto, no isomorfos.