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 ${}\neg \alpha \in T$ gibt.