 Weyl (1925)  was a conciliatory reaction to Hilbert’s proposal in  1922b  and  1923,  which nevertheless contained some important criticisms. Weyl described Hilbert’s project as replacing contentual mathematics by a meaningless game of formulas. He noted that Hilbert wanted to “secure not truth, but the consistency of analysis” and suggested a criticism that echoes an earlier one by Frege: Why should we take consistency of a formal system of mathematics as a reason to believe in the truth of the pre-formal mathematics it codifies? Is Hilbert’s meaningless inventory of formulas not just “the bloodless ghost of analysis”? Weyl suggested a solution: