Sich am eigenen Schopf aus dem Sumpf ziehen – was in der Erzählung des Freiherrn von Münchhausen so fabelhaft funktioniert, stellte die mathematische Zunft zu Beginn des 20. Jahrhunderts vor ein Problem, das ihr Selbstverständnis bedrohte: mit mathematischen Methoden die Konsistenz der Mathematik zu beweisen. Der Philosoph Professor Godehard Link und die Mathematiker Professor Menso Folkerts und Dr. Christian Tapp widmeten sich in einem DFG-Projekt dieser Problematik und zeichnen die frühe Geschichte der Beweistheorie nach.