De primeres de los 1970s Gödel circuló ente les sos amistaes una ellaboración de la demostración ontolóxica de Leibniz sobre la esistencia de Dios, que conozse agora como la demostración ontolóxica de Gödel.