Gödel met Zermelo in Bad Elster in 1931. Olga Taussky-Todd, who was at the same meeting, wrote, “The trouble with Zermelo was that he felt he had already achieved Gödel’s most admired result himself.” His work “Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory” (1940) is a classic of modern mathematics. Towards the end of his life Gödel became convinced that he was being poisoned and, refusing to eat to avoid being poisoned, starved himself to death. Zermelo usually stated his axioms and theorems in words rather than symbols.