Re: what makes it true?

Esa A E Peuha <esa.peuha@xxxxxxxxxxx> writes:

> But then GC is not just true but also provable.

What is provable in PA is "if GC is undecidable in PA then GC is
true". If it is provable in some theory T that GC is undecidable in
PA, then GC is provable in T. PA itself does not prove any statement
undecidable in PA.
.