Re: what makes it true?

Esa A E Peuha wrote:

Yes.  It is also provable in PA that "if GC is true then GC is provable
in PA" (by Gödel's completeness theorem).


Which theorem of Goedel's lets you deduce this?

I'm more familiar with that one that says that there are truths
that you can state in the language of PA that *cannot* be proven
in PA.
.