Kategorie:Endlichkeitssatz für die Aussagenlogik (MSW)