Difference between revisions of "Gödel's completeness theorem"
Jump to navigation
Jump to search
DavidB4-bot (talk | contribs) (→top: clean up & uniformity) |
|||
| (7 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
| − | Gödel's completeness theorem was proven by [[Kurt | + | '''Gödel's completeness theorem''' was proven by [[Kurt Gödel]], which states: |
<blockquote> | <blockquote> | ||
| − | Any | + | 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}} | |
| − | [[ | + | [[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]