Kategorie:Modelltheorie der Aussagenlogik/Bemerkungen