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) |
m (apparently stub tag goes in talk page, so i'm doing that) |
||
| 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> | ||
Revision as of 14:35, June 12, 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.