 The subscript on ‘\(\rV\)’ indicates that the universe of classes of a given (simple) type \(\tau\) will be a member of the next type. There is no class of all classes of whatever type. This is in common with axiomatic set theory which holds that there is no set of all sets.