[Raúl Aparicio Bustillo]

Dos teorías son isomorfas si hay una biyección metamatemática entre los signos de una y los de otra, que mantiene los valores de verdad de las fórmulas  de cada modelo de una en otro modelo de la otra. ¿Es así?