Theorie/Erster Stufe/Ableitbar/Endlich axiomatisierbar/Definition

Endlich axiomatisierbar

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache erster Stufe. Eine Theorie ${}T\subseteq L_{0}^{S}$ heißt endlich axiomatisierbar, wenn es endlich viele Sätze ${}\alpha _{1},\ldots ,\alpha _{n}\in L_{0}^{S}$ mit ${}T=\{\alpha _{1},\ldots ,\alpha _{n}\}^{\vdash }$ gibt.