P. S. My post this morning contained two small but embarrassing slips. First, the date of Bernays' letter is 3 May 1931, not 5 May. Second, of course the Bernays correspondence is in volume IV of Gödel's Collected Works, not volume V. My apologies. CP