In a theory having proper classes it won't be that easy to phrase how many classes we have in comparison to the number of elements of some set. Here, I'll adopt the following method: We'd say that: *there are no more* "classes satisfying a unary predicate $\phi$" *than* "the elements of some class of $X$", if and only if, there exists a class $F$ of ordered pairs such that for each class $C$ satisfying $\phi$ there is a unique element $m$ of $X$ such that: $$ C= \{c \mid (c,m) \in F \}$$ We say that there are only countably many classes to mean there are no more classes than the elements of $\omega$. > Concerning theory [$\sf ZFC + Classes + Definability \ rule$][1], if we add to it the axiom that each class has countably many elements, would it follow that there are only countably many classes? [1]: https://mathoverflow.net/questions/437305/can-zfc-classes-definability-rule-manage-to-prove-all-classes-countable