Cantor's theorem proves no function from a set S to its powerset P(S) can be surjective, since |P(S)...