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

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

本体论证明通过“如果我们能设想到最伟大的存在，那么它必然存在”来证明上帝的存在。这一论证常被认为是一种单纯断言的逻辑谬误，因为它没有提供任何已被证实的前提条件。另外，它通常还被认为是循环论证，因为其前提与结论相互依赖。

本体论证明的几个主要版本的区别在于所使用的上帝概念不同。如安瑟伦将上帝表述为“能想象得到的最伟大的存在”，而笛卡尔则表述为“绝对完美的存在”。