Gödel's completeness theorem

From Conservapedia

This is an old revision of this page, as edited by Fantomas (Talk | contribs) at 16:37, June 6, 2007. It may differ significantly from current revision.

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, 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://conservapedia.com/index.php?title=Gödel%27s_completeness_theorem&oldid=190959"

Mathematics