First of all, if $a$ and $b$ are two cardinal numbers, then we define $a^b$ to be the cardinality of the set of all functions from $b$ to $a$. In particular, you can show that $2^A$ is the cardinality of the power set of $A$. You can think of $4^A$ as the cardinality of the power set of the disjoint union $A \sqcup A$.
In fact, if $c$ is any infinite cardinal, then we have $3^c=4^c=...=2^c$.
Indeed, we can show that $2^c=5^c$, for instance. Clearly, $2^c ≤ 5^c$ holds. On the other hand, you have $5 ≤ 2^c$, and since $c$ is infinite : $c^2=c$. Therefore, $$5^c ≤ (2^c)^c = 2^{c^2}=2^c.$$ By Cantor-Schröder-Bernstein theorem, we conclude that $2^c=5^c$.
Of course, if $c$ is a finite cardinal with $c \neq \varnothing$, then $2^c=k^c \implies k=2$.