Gödel's completeness theorem

From Conservapedia
This is an old revision of this page, as edited by Jaques (talk | contribs) at 06:57, March 31, 2007. It may differ significantly from current revision.
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.

Retrieved from "https://www.conservapedia.com/index.php?title=Gödel%27s_completeness_theorem&oldid=76845"