Theorie/Erster Stufe/Ableitbar/Aufzählbar axiomatisierbar/Aufzählbar/Fakt/Beweis/Aufgabe
Erscheinungsbild
Zeige, dass eine aufzählbar axiomatisierbare Theorie auch -aufzählbar ist.
Zeige, dass eine aufzählbar axiomatisierbare Theorie auch -aufzählbar ist.