Gödel's completeness theorem

From Conservapedia

This is an old revision of this page, as edited by Jaques (talk | contribs) at 23:47, April 7, 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 only if it's sound.

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

Mathematics