Lucky Gödel who, after his pièce célèbre on incompleteness of 1931, faced with enthusiasm the nascent science of mathematical logic. That very same year, he was invited to write a summary of the state of research in logic and foundations, under the title Mathematische Grundlagenforschung. His mathematics professor Hans Hahn made him also responsible for a Seminar on Mathematical Logic in Vienna in 1931/32, to which he contributed profusely through his results on completeness and incompleteness, and by many further results about the nature of intuitionistic logic.