[FOM] Proof "from the book"

Torkel Franzen torkel at sm.luth.se
Mon Aug 30 13:48:37 EDT 2004

 Arnon Avron says:

 >A Godel sentence (NOT "the" 
 >Godel sentence) for a consistent extension of Q is true, and
 >Godel's proof does show this

  Godel's proof does indeed show the implication "if S is consistent then
G is true", which is provable in S itself. I don't think you mean to
say that if S is consistent, Godel's proof shows G to be true.

More information about the FOM mailing list