En la parte b se necesita demostrar que Th(∅)=Sent o puedo darlo solo usando la definicion de th .
En la parte d , aplico la definición de extension conservativa que es que si T2 es una extension conservativa de T1 si T2∩L1 = T1 y resulta ser verdadero ya que de T2∩L1 puedo sacar las sentencias que no necesitan hipótesis y nada mas ya que c2 no esta en L1 , por lo cual mi pregunta es necesito hacer una demostración de esto ultimo que no sea solo mencionarlo y recurrir a la trivialidad.
Saludos
