Cantor's theorem

In real analysis, Cantor’s theorem states that given any set $A$, there does not exist a surjective function $f:A\to P(A)$ that maps from $A$ to the power set $P(A)$. This has a powerful implication: that the set of real numbers is uncountable.