Aufzählbar axiomatisierbar/Vereinigung/Aufgabe

< Aufzählbar axiomatisierbar < Vereinigung

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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.