User:IssaRice/Computability and logic/Gödel's completeness theorem: Difference between revisions
(Created page with "I'm confused about the following framing: "The completeness theorem says that, if a bunch of sentences is consistent in the sense of not entailing a contradiction [in a standa...") |
(No difference)
|
Revision as of 05:49, 21 December 2018
I'm confused about the following framing: "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]