Einleitung

1-30

Das Hilbertprogramm und seine Ziele

33-37

Wurzeln

Axiomatik

39-74

Kontext

Logizismus und Intuitionismus

Nadine Günnewig

75-113

Formalismus

115-134

Finitismus

135-153

Die Methode der idealen Elemente

155-167

Instrumentalismus

169-180

Hilberts Widerspruchsfreiheitsbeweise

183-223

Hilbertschule I

Wilhelm Ackermann

225-249

Intuitionistische und Klassische Zahlentheorie

HA und PA

251-253

Hilbertschule II

Gerhard Gentzen

255-282

Der Problemkreis "Poincaré"

285-305

Der Problemkreis "Gödel"

307-337

Der Problemkreis "Kreisel"

339-352

Resümee

353-362