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