Logik/Vollständigkeitssatz/Henkin/Induktion über Aufbau/Aufgabe

Warum führt man im Beweis zum Satz von Henkin

nicht Induktion über den Aufbau der Ausdrücke?