In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
scientific article; zbMATH DE number 3646819