Leibniz’s Interesting Mathematical Expression of God

We know that Kurt Gödel (1906–1978) worked intensively with Leibniz (1646–1716) towards the end of his life. Gödel was obsessed with Leibniz. When some people had destroyed some of Leibniz’s writings, Menger asked Gödel, “Who could have an interest in destroying Leibniz’s writings?” Gödel would say, “Naturally, those people who do not want men to become more intelligent!” (Menger, 1994). When his…