Kategorie:Modelltheorie der Aussagenlogik/Definitionen