Gödel's completeness theorem

From Conservapedia

This is an old revision of this page, as edited by Foxtrot (talk | contribs) at 03:24, March 31, 2008. 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 only if it's sound.

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

Mathematics