Loewenheim-Skolem theorem, in its strong form, states that if a theory formulated in first order logic has a non-denumerable model, there is a denumerable model of it which makes true all its sentences; that is, as Quine emphasizes, all objects of the model, except a denumerable quantity of them, are dead wood. In a certain sense, this theorem is obvious, since any communicable theory must be couched in a language with a denumerable number of possible sentences. But this is a limit of our language. It is not sure that in the world there are not a non-denumerable set of objects. For instance mathematical physics assumes that space-time is composed of a non-denumerable set of points. It is clear that this non-denumerability is inessential from a semantical point of view, since possible results of measurements are either finite or denumerably infinite, but the non-denumerability of points is strictly necessary in mathematical physics and it could be an effective characteristic of world.