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

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. Zeige, dass genau dann widersprüchlich ist, wenn ist.

Eine Lösung erstellen