And the same volume has his proof of the consistency of arithmetic:

http://www.digizeitschriften.de/download/PPN266833020_0039/P...