Ein faszinierendes Werk, das Hilberts ambitioniertes Programm in den Spannungsbogen von Formalismus und Finitismus einbettet; es zeigt, wie endliche Denkstrukturen die Grenzen der unendlichen Mathematik neu definieren.