Cantor's Theorem states that for any set, the set of all its subsets (the power set) has a strictly greater cardinality than the set itself, implying that there are infinitely many sizes of infinity. This theorem fundamentally challenges the notion of infinity by showing that not all infinite sets are created equal, and it highlights the existence of different levels of infinity in set theory.