Aufzählbar axiomatisierbar/Vereinigung/Aufgabe

Es seien ${}T_{1},T_{2}\subseteq L^{S}$ aufzählbar axiomatisierbare Theorien. Zeige, dass dann auch ${}(T_{1}\cup T_{2})^{\vdash }$ aufzählbar ist.

Eine Lösung erstellen