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

本体论证明是一个在哲学界中颇具争议的话题。许多哲学家，包括马尔毛帖的高尼罗（Gaunilo of Marmoutiers）、托马斯·阿奎那、大卫·休谟、伊曼努尔·康德、戈特洛布·弗雷格、伯特兰·罗素等都曾公开地对其进行过批评。而包括安萨里、伊本·鲁世德、穆拉·萨德拉（Mulla Sadra）在内的伊斯兰哲学家们也都各自批评过安瑟伦的论证，其中穆拉·萨德拉还提出过一个替代的论证。

An ontological argument is a philosophical argument for the existence of God that uses ontology. Many arguments fall under the category of the ontological, and they tend to involve arguments about the state of being or existing. More specifically, ontological arguments tend to start with an a priori theory about the organization of the universe. If that organizational structure is true, the argument will provide reasons why God must exist.