Kategorie:Vollständigkeitssatz für die Aussagenlogik (MSW)