# User:IssaRice/Computability and logic/Gödel's completeness theorem

From Machinelearning

## Different formulations

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."
^{[1]}See also Enderton.^{[2]}

See https://machinelearning.subwiki.org/wiki/User:IssaRice/Computability_and_logic/Semantic_completeness#Alternative_formulation for a proof.

## References

- ↑ https://math.stackexchange.com/a/436257/35525
- ↑ Enderton. A Mathematical Introduction to Logic. p. 135.