Changes

Gödel's completeness theorem was proven by [[Kurt Godel]], which states:

Gödel's completeness theorem was proven by [[Kurt Godel]], which states:

<blockquote>

<blockquote>

Any formula in first-order predicate calculus is true if and only if it's sound.

Any formula in first-order predicate calculus is true only if it's sound.

</blockquote>  

</blockquote>  

[[category: mathematics]]

[[category: mathematics]]