Difference between revisions of "Gödel's completeness theorem"
Jump to navigation
Jump to search
(New page: Gödel's completeness theorem was proven by Kurt Godel, which states: <blockquote> Any formula in first-order predicate calculus is true if and only if it's sound. </blockquote> [[ca...) |
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 | + | 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.