Kurs:Einführung in die mathematische Logik (Osnabrück 2018)/Halteproblem/Goldbachsche Vermutung/Aufgabe/Aufgabereferenznummer