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