Modallogik/K/System/Widerspruchsfrei/Auffüllung/Fakt/Beweis

Aus Wikiversity
Beweis

Dies ist eine rein aussagenlogische Aussage, die im Prinzip aus Fakt folgt. Allerdings ist hier durch die Anwesenheit von die Sprache etwas anders. Für diesen Zweck kann man modalisierte Aussagen einfach als neue Aussagenvariablen auffassen. Man kann auch direkt das Lemma von Zorn in der jetzigen Situation anwenden. Oder man kann im abzählbaren Fall wie folgt schließen: Mit ist auch die modallogische Sprache überhaupt abzählbar. Wir betrachten eine Abzählung , , der modallogischen Ausdrücken und definieren

falls dies widerspruchsfrei ist, und ansonsten durch

Die Vereinigung ist dann maximal widerspruchsfrei.