4,781
edits
Changes
Jump to navigation
Jump to search
mLine 1:
Line 1: − +
Gödel's completeness theorem (view source)
Revision as of 03:24, March 31, 2008
, 03:24, March 31, 2008links
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]]