Changes

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

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

<blockquote>

<blockquote>

Any proposition in [[mathematics]] is true only if it is "sound"; that is, if it can be proven to be true. <ref>http://www.math.uchicago.edu/~mileti/museum/complete.html</ref>

Any proposition in [[mathematics]] is true only if it is "sound"; that is, if it can be proven to be true.<ref>http://www.math.uchicago.edu/~mileti/museum/complete.html</ref>

</blockquote>  

</blockquote>  

{{reflist}}

{{reflist}}

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

[[Category:Logic]][[Category:Mathematics]]