 A “logical expression” in Gödel’s terminology is a well-formed first order formula without identity. An expression is “refutable” if its negation is provable, “valid” if it is true in every interpretation and “satisfiable” if it is true in some interpretation. The Completeness Theorem is stated as follows: