No subject

Juliette Kennedy jkennedy at
Tue Oct 12 03:19:29 EDT 1999

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.

Juliette Kennedy

More information about the FOM mailing list