Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Total/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe, wobei die Sprache zumindest eine Variable besitzen möge. Es sei eine Theorie.

Dann ist genau dann widersprüchlich, wenn ist.

Einen Beweis erstellen