> Gc wrote: > > Aatu Koskensilta kirjoitti: > > > >> In the passage you quoted Shoenfield explains how a first order theory > >> in which the formalization of "there is an uncountable set" is provable > >> can have countable models. From this it does not follow that "every set > >> of reals is in some sense countable". > > > > I understand that there is a complete set of reals in a countable > > model. > > What, if anything, do you mean by there being "a complete set of reals > in a countable model"?
It`s universe includes all the reals.
> -- > Aatu Koskensilta (firstname.lastname@example.org) > > "Wovon man nicht sprechen kann, daruber muss man schweigen" > - Ludwig Wittgenstein, Tractatus Logico-Philosophicus