Completeness and Compactness Theorems
摘要
The soundness theorem for first-order logic, which we introduced in the previous chapter, states that a formula derivable in a first-order theory is valid: it is true in every interpretation of the language that satisfies the axioms. Remarkably, the converse is also true.