Buenas, para probar esta parte del ejercicio, en la guía recomiendan demostrar dos cosas, y una de ellas es que . Intente hacer esto pero no sé si es correcto el cómo lo hice:
Como , entonces por definición de
,
, considerando M arbitrario, ¿es correcta la siguiente afirmación: "Si
entonces
"? Yo entiendo que esto si se cumple, debido a que lo que se está haciendo es sustituir las ocurrencias libres de x por a en
y lo que se obtendría es una fórmula que también la modela cualquier M, porque cualquier M modela a
Luego por aplicación del lema 2.4.5. se puede llegar a que , pero no sé si es correcta la afirmación antes dicha.