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