Difference between revisions of "Gödel's completeness theorem"
Jump to navigation
Jump to search
m |
|||
| Line 1: | Line 1: | ||
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> | ||
| − | Any formula in first-order predicate calculus is true only if it's sound. | + | Any formula in first-order predicate calculus is true only if it's [[sound]]. |
</blockquote> | </blockquote> | ||
[[category: mathematics]] | [[category: mathematics]] | ||
Revision as of 23:47, April 7, 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.