as argument are not all of one type. Let us call them all
-functions. We may take first those among them which do not involve reference to any collection of functions; these we will call "predicative
-functions." If we now proceed to functions involving reference to the totality of predicative
-functions, we shall incur a fallacy if we regard these as of the same type as the predicative
-functions. Take such an everyday statement as "