Seit ihrer Entdeckung sind die Gödel'schen Unvollständigkeitssätze in
aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten
Inhalt. In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert
aufgearbeitet. Alle Einzelschritte werden erläutert und anhand
zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr
als eine kommentierte Fassung der historischen Arbeit. Die Beweise der
Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die
Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser
in die Zeit zu Beginn des zwanzigsten Jahrhundert zurück.