Gottfried Wilhelm Leibniz
本体论证明（）是证明上帝存在的一种理论，属于先验性的证明方式。该理论最早由中世纪哲学家伊本·西那和安瑟伦提出。后世的哲学家，包括谢哈布丁·苏哈拉瓦迪（Shahab al-Din Suhrawardi）、勒内·笛卡儿、戈特弗里德·莱布尼茨、诺曼·马尔康姆（Norman Malcolm）、阿尔文·普兰丁格等都从不同角度发展了本体论证明。而数学家库尔特·哥德尔还通过模态逻辑给出了本体论证明的数学表达式。