>In sci.logic Gc <Gcut667@hotmail.com> wrote: > >> Aatu Koskensilta kirjoitti: > >> > Gc wrote: >> > > >> > > Because there is a model of set theory which has domain that is >> > > countable and which I think contains all the reals. >> > >> > Well, there isn't. No countable model contains all the reals. > >> How can the countable model then satisfy all the theorems about the >> reals? > >Because first-order logic is too weak to tell the difference between >the model and the real thing.
What is the difference exactly between models and real things?