El idea de la prueba es ciertamente correcta. Hay algunas cuestiones, como la afirmación incorrecta pero innecesaria de que todos los números pares son potencias de $2$ .
Volvemos a escribir la prueba que diste, haciendo pequeñas modificaciones. Después de un tiempo, no se espera que uses la notación $P(n)$ explícitamente.
Dejemos que $P(n)$ sea la afirmación de que $a_n=2^n$ . Demostramos por inducción que $P(n)$ es verdadera para todo número entero no negativo $n$ .
Ciertamente $P(0)$ es cierto, ya que $a_0=1=2^0$ .
Supongamos que para un determinado número entero $k$ la afirmación $P(k)$ es verdadera. Demostramos que $P(k+1)$ es cierto.
Desde $P(k)$ es cierto, tenemos $a_k=2^k$ . Pero entonces $$a_{k+1}=2a_k=2\cdot 2^k =2^{k+1},$$ así que $P(k+1)$ es verdadera. Esto completa el paso de inducción y la prueba.