Conversely, through our vari ables of quantification we are quite capable of committing ourselves to entities which cannot be named individually at all the resources of our language; witness the real numbers, which, according to classical theory, constitute a larger infinity than does the totality of constructible names in any language.