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.