Mathematik ist eine voraussetzungslose Wissenschaft. Um es zu begründen, brauche ich nicht Gott, wie es Kronecker tut, oder die Annahme einer besonderen Fähigkeit unseres Verständnisses, die auf das Prinzip der mathematischen Induktion abgestimmt ist, wie es Poincaré tut, oder die Urintuition von Brouwer, oder schließlich wie Russell und Whitehead, Axiome der Unendlichkeit, Reduzierbarkeit oder Vollständigkeit, die tatsächlich tatsächliche, inhaltliche Annahmen sind, die nicht durch Konsistenzbeweise kompensiert werden können.