For his revitalization of the foundations of mathematics, his penetrating investigations into the Godel incompleteness phenomena, and his fundamental contributions to virtually all areas of mathematical logic.