exceeded the total number of individuals in the world, is quite different from the same equation as applied to a reflexive number. As applied to a reflexive number, it means that, given a class of
terms, this class is "similar" to that obtained by adding another term. But as applied to a number which is too great for the actual world, it merely means that there is no class of
individuals, and no class of
individuals; it does not mean that, if we mount the hierarchy of types sufficiently far to secure the existence of a class of
terms, we shall then find this class "similar" to one of