Ausdrucksmenge/Abgeschlossen unter Ableitungen/Nicht einelementig auffüllbar/Aufgabe

Aus Wikiversity

Es sei eine widerspruchsfreie, aber nicht maximal widerspruchsfreie Aussagenmenge, die unter Ableitungen abgeschlossen sei.

Zeige, dass nicht durch die Hinzunahme von endlich vielen Aussagen zu einer maximal widerspruchsfreien Aussagenmenge aufgefüllt werden kann.