Kategorie:Modelltheorie der Aussagenlogik/Lösungen