Logik/Vollständigkeitssatz/Henkin/Fakt/Beweis/Aufgabe