Original proof of Gödel's completeness theorem
= Original proof of Gödel's completeness theorem
{wiki=Original_proof_of_Gödel's_completeness_theorem}
Gödel's completeness theorem is a fundamental result in mathematical logic established by Kurt Gödel in 1929. The theorem states that for any first-order logic (FOL) theory, if a statement is logically provable in that theory, then it is also model-theoretically true in every model of that theory.