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

Zeige, dass eine aufzählbar axiomatisierbare Theorie ${}T\subseteq L_{0}^{S}$ auch ${}R$-aufzählbar ist.

Zur Lösung, Alternative Lösung erstellen