Aufzählbar axiomatisierbar/Endliche Hinzunahme/Aufgabe

Es sei $T\subseteq L^S$ eine aufzählbar axiomatisierbare Theorie und ${\alpha }_1,\dots ,{\alpha }_n\in L^S$. Zeige, dass dann auch

$T^{\prime }={(T\cup \{{\alpha }_1,\dots ,{\alpha }_n\})}^{⊢}$

aufzählbar axiomatisierbar ist.

Eine Lösung erstellen