Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Definition

Aufzählbar axiomatisierbar

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache erster Stufe. Eine Theorie  ${}T\subseteq L_{0}^{S}$  heißt aufzählbar axiomatisierbar, wenn es eine ${}R$-aufzählbare Satzmenge  ${}\Gamma \subseteq L_{0}^{S}$  mit  ${}T=\Gamma ^{\vdash }$  gibt.