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.