6,068
edits
Changes
Jump to navigation
Jump to search
Gödel's completeness theorem (view source)
Revision as of 06:57, March 31, 2007
, 06:57, March 31, 2007New 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...
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>
[[category: mathematics]]
<blockquote>
Any formula in first-order predicate calculus is true if and only if it's sound.
</blockquote>
[[category: mathematics]]