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

Widersprüchliche Theorie

Es sei $S$ ein Symbolalphabet und $L^S$ die zugehörige Sprache erster Stufe. Eine Theorie  $T\subseteq L_0^S$  heißt widersprüchlich, wenn es einen Satz  $\alpha \in L_0^S$  mit  $\alpha \in T$  und  $\mathrm{\neg }\alpha \in T$  gibt.