Aussagenlogik/Vollständigkeitssatz/Beliebiger Fall/Fakt/Name