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

Aus Wikiversity
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.