Encyclopedia > G > Gödel's completeness theorem
Gödel's completeness theorem
Gödel's completeness theorem is an important theorem in mathematical logic which was first proved by Kurt Gödel in 1929. It states, in its most familiar form, that in first-order predicate calculus every logically valid formula is provable.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)