Let R be the class of all ordinals. If a subset C of R is unbounded (i.e. for any ordinal \alpha \in R, there is \beta in C with \beta greater than \alpha ), then it seems to me that C cannot be a set, only a class. Is this true, and if so, how does one prove it? My reading on the general...