His ideas have had a profound influence on twentieth-century work on logic and the foundations of mathematics.