 Russell and Cantor’s paradoxes are also more similar than they appear at first. Cantor’s paradox is based on an application of Cantor’s theorem to the universal set \(U\) (cf. Section 1.2 above). Below we give the proof of Cantor’s theorem for an arbitrary set \(S\).