-functions of the
type will hold of any
-function whatever. It is chiefly as a technical means of embodying an assumption leading to this result that classes are useful. The assumption is called the "axiom of reducibility," and may be stated as follows:—
"There is a type (
say) of