Es sei S {\displaystyle {}S} ein Symbolalphabet und L S {\displaystyle {}L^{S}} die zugehörige Sprache erster Stufe.
Eine axiomatisierbare Theorie T ⊆ L 0 A {\displaystyle {}T\subseteq L_{0}^{A}} ist aufzählbar.
