Parciales

Hola.

Sí, podrías decir que $Th(\emptyset) = SENT$ por def de Th.

Tu explicación está bien. Lo que incluiría además en tu justificación es que $T_1 = CONS(\emptyset)$ son todos los teoremas en $\mathcal{L}_1$, y como $\mathcal{L}_2$ extiende a $\mathcal{L}_1$, todos esos teoremas se pueden derivar de T₂.

Saludos.