In the context of the Abrahamic religions, it was first proposed by the medieval philosopher Anselm of Canterbury in his Proslogion, and important variations have been developed by philosophers such as Ren??? Descartes, Gottfried Leibniz, Norman Malcolm, Charles Hartshorne, Alvin Plantinga, and Kurt G???del.