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...) |
(No difference)
|
Revision as of 06:57, March 31, 2007
Gödel's completeness theorem was proven by Kurt Godel, which states:
Any formula in first-order predicate calculus is true if and only if it's sound.