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

Es sei ${}S$ ein Symbolalphabet und ${}L^{S}$ die zugehörige Sprache erster Stufe.

Eine aufzählbar axiomatisierbare Theorie ${}T\subseteq L_{0}^{S}$ ist ${}R$-aufzählbar.

Zum Beweis, Alternativen Beweis erstellen