El Teorema de la Solidez demostró que nuestro sistema deductivo preserva la verdad, en el sentido de que si hay una deducciónϕ deΣ, entoncesϕ es cierto en cualquier modelo de\(\...El Teorema de la Solidez demostró que nuestro sistema deductivo preserva la verdad, en el sentido de que si hay una deducciónϕ deΣ, entoncesϕ es cierto en cualquier modelo deΣ. Se dice que un sistema deductivo que consiste en una colección de axiomas lógicosΛ y una colección de reglas de inferencia es completo si por cada conjunto de axiomas no lógicosΣ y cadaL fórmulaϕ,
