Theorie/Erster Stufe/Ableitbar/Axiomatisierbar/Entscheidbar/Definition

Axiomatisierbar (syntaktisch)

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