Title: Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen
Subjects: Recursive functions, Algorithms, Gödel's theorem