Difference between revisions of "Gödel's completeness theorem"
Jump to navigation
Jump to search
m (apparently stub tag goes in talk page, so i'm doing that) |
m (links) |
||
| 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 03:24, March 31, 2008
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.