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.