Modallogik/Rahmen/Möglichkeit/Seriellität/Fakt/Beweis/Aufgabe/Lösung
Es sei gegeben. Es sei zunächst vorausgesetzt, dass in jedes Element einen Nachfolger besitzt und sei
für eine Welt . Es sei mit . Dann ist
und somit
also
Es sei umgekehrt angenommen, dass eine Sackgassenwelt besitzt. Dann ist für eine beliebige Aussagenvariable Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikiversity.org/v1/“:): {\displaystyle {{}} p}
aber