“…11 Here von Neumann presumably has in mind Hilbert's consistency proof of logic in the ε-calculus inHilbert (1923). SeeZach (2003Zach ( , 2004) on Hilbert's consistency proofs and the relation to vonNeumann (1927), andBellotti (2016) on von Neumann's consistency proof specifically.…”