Es sei ${\displaystyle {}S}$ ein Symbolalphabet und ${\displaystyle {}L^{S}}$ die zugehörige Sprache erster Stufe. Eine Teilmenge ${\displaystyle {}T\subseteq L_{0}^{S}}$ heißt Theorie, wenn ${\displaystyle {}T}$ abgeschlossen unter der Ableitungsbeziehung ist, d.h. wenn aus ${\displaystyle {}T\vdash \alpha }$ für ${\displaystyle {}\alpha \in L_{0}^{S}}$ bereits ${\displaystyle {}\alpha \in T}$ folgt.