6,068
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: − +
Gödel's completeness theorem (view source)
Revision as of 23:47, April 7, 2007
, 23:47, April 7, 2007no edit summary
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 if and 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]]