Last modified on July 13, 2016, at 13:44

Gödel's completeness theorem

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]

  1. ↑ http://www.math.uchicago.edu/~mileti/museum/complete.html