Aussagenlogik/Vollständigkeitssatz/Abzählbar/Auffüllungsstrategie/Fakt/Name