Gödel's completeness theorem

From Conservapedia

Jump to: navigation, 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 "http://www.conservapedia.com/G%C3%B6del%27s_completeness_theorem"
Personal tools