Re: "Godel got it all wrong"


Newberry wrote:

So is "true-on-its-interpretation" synonymous with "provable in T +
Con(T)"?

Of course they aren't synonymous. Nor are they even co-extensive. Take
the sentence Con(T + Con(T)). If T is consistent, then it that sentence
is true, but by the Second Theorem, not provable in provable in T +
Con(T).

.