In 1934 and 1939 two volumes of Grundlagen der Mathematik were published which were intended to lead to a 'proof theory', a direct check for the consistency of mathematics.
Sa 1934 at 1939 ng dalawang volume ng Grundlagen der Mathematik ay nai-publish na kung saan ay inilaan na humantong sa isang 'patunay theory', isang direktang i-check para sa consistency ng matematika.