K-Modallogik/Vollständigkeit/Fakt/Beweis/Aufgabe

Beweise den Vollständigkeitssatz der Modallogik.