La construcción del término modelo dado en la sección anterior es suficiente para establecer la integridad de la lógica de primer orden para conjuntosΓ que no contienen=. No funciona, sin...La construcción del término modelo dado en la sección anterior es suficiente para establecer la integridad de la lógica de primer orden para conjuntosΓ que no contienen=. No funciona, sin embargo, si= está presente. Podemos arreglar esto usando una construcción conocida como “factoring”.
