Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Total/Fakt
Zur Navigation springen
Zur Suche springen
Einen Beweis erstellen
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.