Whenever, by statements about "all" or "some" of the values that a variable can significantly take, we generate a new object, this new object must not be among the values which our previous variable could take, since, if it were, the totality of values over which the variable could range would only be definable in terms of itself, and we should be involved in a vicious circle. For example, if I say "Napoleon had all the qualities that make a great general," I must define "qualities" in such a way that it will not include what I am now saying, i.e. "having all the qualities that make a great general" must not be itself a quality in the sense supposed. This is fairly obvious, and is the principle which leads to the theory of types by which vicious-circle paradoxes are avoided. As applied to -functions, we may suppose that "qualities" is to mean "predicative functions." Then when I say "Napoleon had all the qualities, etc.," I mean [Pg 189] "Napoleon satisfied all the predicative functions, etc." This statement attributes a property to Napoleon, but not a predicative property; thus we escape the vicious circle. But wherever "all functions which" occurs, the functions in question must be limited to one type if a vicious circle is to be avoided; and, as Napoleon and the typical Frenchman have shown, the type is not rendered determinate by that of the argument. It would require a much fuller discussion to set forth this point fully, but what has been said may suffice to make it clear that the functions which can take a given argument are of an infinite series of types. We could, by various technical devices, construct a variable which would run through the first of these types, where is finite, but we cannot construct a variable which will run through them all, and, if we could, that mere fact would at once generate a new type of function with the same arguments, and would set the whole process going again. We call predicative -functions the first type of -functions; -functions involving reference to the totality of the first type we call the second type; and so on. No variable -function can run through all these different types: it must stop short at some definite one.