Does anyone happen to know what system Hilbert proved the consistency of? Aside from the geometry in 1899 which gave a relative consistency proof, the result I have in mind was the first consistency result of Hilbert or possibly one of his students during the, I think, 1920's. Thanks, Juliette Kennedy Helsinki