Para la colección de axiomas lógicos y reglas de inferencia que hemos establecido, cualquier fórmulaϕ que pueda deducirse de un conjunto de axiomas no lógicosΣ será verdadera en todos ...Para la colección de axiomas lógicos y reglas de inferencia que hemos establecido, cualquier fórmulaϕ que pueda deducirse de un conjunto de axiomas no lógicosΣ será verdadera en todos los modelos deΣ bajo cualquier función de asignación variable (eso es solidez), y además cualquier fórmulaϕ eso es cierto en todos los modelos deΣ bajo cada función de asignación será deducible deΣ (eso es integridad).
