Description: Cantor's theorem in terms of cardinals. This theorem tells us that no matter how large a cardinal number is, there is a still larger cardinal number. Theorem 18.12 of Monk1 p. 133. (Contributed by NM, 5-Nov-2003)