Satz 12.11
Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 12 Arithmetik/Erster Stufe/Ableitbar/Nicht aufzählbar/Nicht axiomatisierbar/Fakt