Changes

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

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

<blockquote>

<blockquote>

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

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

</blockquote>  

</blockquote>  

[[category: mathematics]]

[[Category:Logic]][[category: mathematics]]