Gödel's Completeness Theorem for First-Order Logic

Let be a set of formulae in a first-order lanugage Let be a formula in . Then if and only if .

Proof

Soundness Theorem Adequacy Theorem