Completeness and Compactness

The completeness theorem links syntactic provability and semantic truth, while compactness allows working with infinite theories through finite subsystems. This is the basis for first-order models