Por un principio de isomorfismo hay una equivalencia, a conseguir, entre un modelo y una teoría.