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