Prädikatenkalkül/p unableitbar aus T/Widerspruchsfrei/Aufgabe

Aus Wikiversity

Es sei eine Ausdrucksmenge aus einer Sprache erster Stufe und ein weiterer Ausdruck. Es sei nicht aus ableitbar. Zeige, dass man aus keinen Widerspruch (also keinen Ausdruck der Form )

ableiten kann.