Difference between revisions of "Gödel's completeness theorem"
Jump to navigation
Jump to search
m (links) |
m (bold, umlaut in Gödel, cat) |
||
| Line 1: | Line 1: | ||
| − | Gödel's completeness theorem was proven by [[Kurt | + | '''Gödel's completeness theorem''' was proven by [[Kurt Gödel]], which states: |
<blockquote> | <blockquote> | ||
| − | Any [[formula]] in first-order predicate [[calculus]] is true only if it | + | Any [[formula]] in first-order predicate [[calculus]] is true only if it [[sound]]s true. |
</blockquote> | </blockquote> | ||
| − | [[category: mathematics]] | + | [[Category:Logic]][[category: mathematics]] |
Revision as of 19:40, May 24, 2008
Gödel's completeness theorem was proven by Kurt Gödel, which states:
Any formula in first-order predicate calculus is true only if it sounds true.