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