Kategorie:Der Vollständigkeitssatz der Modallogik/Bemerkungen