K-Modallogik/S5/Charakterisierungen/Fakt

Für ein modallogisches ${}K$-System ${}S$ sind folgende Aussagen äquivalent.

1. Es gilt das Reflexivitätsaxiom und das euklidische Axiom
2. Es gilt das Möglichkeitsaxiom, das Symmetrieaxiom und das Transitivitätsaxiom
3. Es handelt sich um das ${}S5$-System.

Zum Beweis, Alternativen Beweis erstellen