Ich habe eine Frage zu Aufgabe (b):

"Zeigen Sie, dass [img]http://mokrates.de/cgi-bin/texstring?H[/img] eine aufzählbare Menge ist."

Ist [img]http://mokrates.de/cgi-bin/texstring?H[/img] eine beliebige Menge oder eine bestimmte?

Damit ist das Halteproblem gemeint.