 Detlefsen has emphasized that the incompleteness theorems do not preclude that the consistency of parts of higher mathematics that are in practice used for solving arithmetical problems that mathematicians are interested in can be arithmetically established (Detlefsen 1986). In this sense, something can perhaps be rescued from the flames even if Hilbert’s instrumentalist stance towards all of higher mathematics is ultimately untenable.