One question that has been important from the beginning of set theory concerns the difference between sets and proper classes. (This question has a natural counterpart for category theory: the difference between small and large categories.) Cantor’s diagonal argument forces us to recognize that the set-theoretical universe as a whole cannot be regarded as a set. Cantor’s Theorem shows that the power set (i.e., the set of all subsets) of any given set has a larger cardinality than the given set i