Gödel's completeness theorem

From Conservapedia

This is an old revision of this page, as edited by Foxtrot (talk | contribs) at 19:40, May 24, 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 GÃ¶del, which states:

Any formula in first-order predicate calculus is true only if it sounds true.

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