  Here, the fact that this model satisfies ZFC is supposed to ensure that it satisfies all of the theoretical constraints which come from set theory itself, while the richness of ZFC ensures that the model also has the resources to code up our best scientific theories (and thereby to satisfy all of the theoretical constraints which come from natural science). Finally, the fact that this model contains an arbitrary set of real numbers ensures that it can code up all of the various observations and measurements which constitute our “observational  constraints.”[45]  So, as long as Putnam is right in thinking that the intended models of set theory are fixed solely by the formal structure of our scientific theories—including our explicit set-theoretic axioms—and by the physical measurements that we happen to make, then this theorem will generate an intended model in which V=L comes out true.