TERMc sería una cosa así no?
1-c1 pertenece a TERMc
2- si t1 y t2 pertenecen a TERMc entonces f(t1,t2) pertenece a TERMc
Como la constante es solo el 0, creo que podes plantear un lema del estilo
para todo t perteneciente a TERMc tM = 0.
Que lo haces mas que nada por interpretación, osea 0 = 0 es verdad y 0+0=0 es verdad también.
Y despues otro lema que para todo t de TERMc se cumple N(t), supongo que con N se referiran a los naturales, entonces ta, sale por interpretación.
Y ahí medio que sale el ejercicio.
Saludos