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?

Eine Lösung erstellen