Prueba por inducción.
Cuando $n=0$ entonces $\mathcal P(\emptyset)=\{\emptyset\}$ así que $|\mathcal P(\emptyset)|=1.$
Ahora, supongamos que es cierto para todos $|S|=n,$ y asumir $|T|=n+1.$
Elige un elemento $x\in T.$ Entonces dejemos que $T_0=T\setminus \{x\}.$ Tenemos $|T_0|=n.$
Entonces, para cada $M\subseteq T_0$ hay exactamente dos subconjuntos de $T,$ $M$ y $M\cup\{x\}.$
Así que $$|\mathcal P(T)|=2|\mathcal P(T_0)|=2\cdot 2^{n}=2^{n+1}.$$
Podríamos demostrarlo con un poco más de rigor definiendo una función $f:\mathcal P(T)\to \mathcal P(T_0)\times \{1,2\}$ y demostrar que es una biyección.
Definimos, para $M\subseteq T,$ $$f_2(M)=\begin{cases}1&x\in M\\2&x\notin M \end{cases}$$
Entonces $f(M)=(M\cap T_0,f_2(M)).$
Demostrar que esto es una biyección es un trabajo tedioso, pero directo.