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