He contributed to Hilbert's program in the foundations of mathematics by providing a constructive consistency proof for a weak system of arithmetic.
Допринео је Хилбертовом програму у математичким основама пружајући конструктивну сагласност за слаб аритметички систем.