Satz 22.12
Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Vorlesung 22 Arithmetik/Erster Stufe/Ableitbar/Nicht aufzählbar/Nicht axiomatisierbar/Fakt