Re: what makes it true?

Torkel Franzen wrote:
> 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?

I may be mistaken, but isn't it a theorem that an undecidable
proposition has both models where it is true and models where it is
false? Why do you accept only the models in which it is true?


- Tim
.