Beweisbarkeitslogik/Antiableitungsfixpunkt/Keine Vervollständigung mit Nezessisierungsregel/Aufgabe
Erscheinungsbild
Wir setzen
Es sei eine -Modallogik, in der
ableitbar ist. Zeige, dass es keine widerspruchsfreie Erweiterung
Wir setzen
Es sei eine -Modallogik, in der
ableitbar ist. Zeige, dass es keine widerspruchsfreie Erweiterung