Difference between revisions of "Gödel's completeness theorem"
Jump to navigation
Jump to search
(unless we have definition of "sound", this article is worthless) |
|||
| Line 1: | Line 1: | ||
| + | {{stub}} | ||
| + | |||
Gödel's completeness theorem was proven by [[Kurt Godel]], which states: | Gödel's completeness theorem was proven by [[Kurt Godel]], which states: | ||
<blockquote> | <blockquote> | ||
Revision as of 16:37, June 6, 2007
Gödel's completeness theorem was proven by Kurt Godel, which states:
Any formula in first-order predicate calculus is true only if it's sound.