Generalizing beyond proper classes

206 Views Asked by At

I noted that issues such as Russell's Paradox involving the set of all sets that don't contain themselves can be resolved by stating that the object that is all set that don't contain themselves is a proper class.

But then you can generate the same issue by talking about say the class of all classes that don't contain themselves. Etc...

From here I come to the conclusion that there is an infinite hierarchy of such set-like generalizes

$$ C_0, C_1 .... $$

Where $C_0$ denotes a set, $C_1$ denotes a class, etc...

My question is, has anyone found any interesting behavior with the upper level objects. Ie is there any interesting structure that is unique about higher order classes compared to lower level ones.