Hola:
El paso inductivo no parece estar completo.
En particular, este argumento:
podemos construir aα usando las reglas inductivas de la definición de Δ
es precisamente lo que hay que probar.
¿cuáles son las reglas inductivas de Δ que permiten generar aα?
Por acá, se presenta un argumento parecido:
- https://eva.fing.edu.uy/mod/forum/discuss.php?d=285664
Fijate si te ayuda la respuesta que damos para ese mensaje.
Si quedan dudas, volvé a preguntar.