Aussagenlogik/Vollständigkeitssatz/Abzählbar/Auffüllungsstrategie/Fakt/Beweis/Aufgabe