Parte del reto para probar el teorema de integridad es que el modelo que construimos a partir de un conjunto consistente completoΓ debe hacer que todas las fórmulas cuantificadas sean\(\Gamma...Parte del reto para probar el teorema de integridad es que el modelo que construimos a partir de un conjunto consistente completoΓ debe hacer que todas las fórmulas cuantificadas seanΓ verdaderas. Para garantizar esto, utilizamos un truco debido a Leon Henkin.
