Theorie/Erster Stufe/Ableitbar/Widersprüchlich/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Widersprüchliche Theorie

Es sei ein Symbolalphabet und die zugehörige Sprache erster Stufe. Eine Theorie heißt widersprüchlich, wenn es einen Satz mit und gibt.