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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass eine aufzählbar axiomatisierbare Theorie auch -aufzählbar ist.

Zur Lösung, Alternative Lösung erstellen