Lemma 21.1
Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Vorlesung 21 Repräsentierbarkeit von Registerprogrammen/Über p-adische beta Funktion/Fakt