  In this case, then, differences in the ways the model-theoretic and the ordinary English interpretations of the power set axiom handle the initial ∀z-quantifier—and, in particular, differences concerning which subsets of X get “seen” by this quantifier—explain how a countable model can satisfy an axiom which is “supposed to” generate an uncountable set. And this kind of phenomena is fairly general. In Resnik 1966, Michael Resnik tracks this phenomena through the case of the real numbers. As before, assume that M is a countable transitive model of  ZFC.[26]  Then there will be a particular R ∈ M such that, modulo some abbreviations,