User:IssaRice/Computability and logic/Gödel's completeness theorem
There are two equivalent formulations of the completeness theorem. One phrases the theorem in terms of "logical consequence implies provable" and the other phrases it in terms of "consistent implies satisfiable".
- (for all sets of sentences and all sentences ?) If , then
- "The completeness theorem says that, if a bunch of sentences is consistent in the sense of not entailing a contradiction [in a standard system of first-order logic] then it has a model." See also Enderton.
- Enderton. A Mathematical Introduction to Logic. p. 135.