Difference between revisions of "Gödel's completeness theorem"
Jump to navigation
Jump to search
(trim; drop blasphemy and bad link to sound) |
DavidB4-bot (talk | contribs) (→top: clean up & uniformity) |
||
| Line 1: | Line 1: | ||
'''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:Logic]][[Category:Mathematics]] |
Latest revision as of 13:44, July 13, 2016
Gödel's completeness theorem was proven by Kurt Gödel, which states:
Any proposition in mathematics is true only if it is "sound"; that is, if it can be proven to be true.[1]