Gödels Werk — Gödel's Work

pp. 107-161

in: Karl Sigmund, John Dawson, Kurt Mühlberger, Kurt Gödel, Berlin, Vieweg, 2006

Abstract

Die Griechen erkannten, dass jeder mathematische Satz bewiesen werden muss — also durch eine Kette logischer Schlüsse auf bereits bewiesene Sätze zurückgeführt.