了本体论证明。而数学家库尔特·哥德尔还通过模态逻辑给出了本体论证明的数学表达式。本体论证明是一个在哲学界中颇具争议的话题。许多哲学家，包括、托马斯·阿奎那、大卫·休谟、伊曼努尔·康德、戈特洛布·弗雷格、伯特兰·罗素等都曾公开地对其进行过批评。而包括安萨里、伊本·鲁世德、穆拉·萨德拉（Mulla Sadra）在内的伊斯兰哲学家们也都各自批评过安瑟伦的论证，其中穆拉·萨德拉还提出过一个替代的论证。本体论证明通过“如果我们能设想到最伟大的存在，那么它必然存在”来证明上帝的存在。这一论证常被认为是一种单纯断