Re: what makes it true?

Timothy Little <tim-usenet@xxxxxxxxxxxxxxxxxx> writes:

> > Then we would know that GC was true.
>
> Even though some model of the natural numbers may contain an even
> number greater than two that is not a sum of two primes?

> Which model do you take as the *real* one?

All models (of PA or some other theory, not of "the natural
numbers") are of course equally real. What does this have to do with
the observation - which is a simple mathematical theorem - that if GC
is undecidable in PA (or in the much weaker theory Q), it is true?
.