Proper classes like the class of all cardinals resist set-theoretic treatment, as Burali-Forti's par...