Kurt Gödel explicitly mentioned Leibniz in only one paper, "Russell's mathematical logic", which appeared in 1944 in the volume of the Library of Living Philosophers devoted to Bertrand Russell and edited by A. Schilpp.1 Nevertheless, the tribute paid by Godel to Leibniz in this text is so important that this alone suffices in attesting to the role that Leibniz's work played in Godel's thought.