in set theory cantor's theorem states that the set which contains all subsets of a set has a greater cardinality than the set itself. georg cantor showed this in an article he published in 1890. the theorem is valid both for finite and infinite sets.