Korollar 11.13
Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 11 Peano-Arithmetik/Erste Stufe/Unvollständig/Fakt