“Cantor's theorem proves that for any set, its power set (the collection of all its subsets) is a strictly larger set.”