text: 对于基督徒来说，上帝存在是信仰的前提，问题在于我们是否需要以及如何证明上帝存在。
  在早期基督教看来，上帝的实在是一个自明的事实，根本用不着人的证明。11世纪以降，由于加洛林王朝所倡导的文化复兴运动的影响，欧洲的理性主义复苏，一些神学家开始注重用理性的逻辑方法论证神学教义，关于上帝存在的哲学证明便成了经院哲学的重要内容，其首创者就是西方思想史上被人称做“最后一位教父和第一个经院哲学家”的安瑟尔谟，他的论证被后世称之为关于上帝存在的“本体论证明”。
  安瑟尔谟认为，上帝的存在是一个自明的、必然的真理，否认上帝的存在必然导致逻辑上的自相矛盾。因而证明上帝的存在不需要借助有限的经验事实，只需要借助先验的逻辑力量，仅仅从概念就可以推演出上帝的存在，后世将这种证明称为“本体论的证明”。
  安瑟尔谟声称，即使是不信上帝的“愚顽人”在心里也有一个“上帝”的观念，亦即一个“可设想的无与伦比的伟大存在者”，这里所说的“可设想的”亦即在思想中的意识。既然如此，“还有一种不可设想的无与伦比的伟大的东西，它不能仅仅在心中存在，因为，即使它仅仅在心中存在，但是它还可能被设想为也在实际上存在，那就更伟大了”。
  这就是说，如果这个“无与伦比的伟大存在者”仅仅是“可设想的”即在思想之中，那就不是“无与伦比”的了，因为不仅在思想中也在实际上存在比它更“无与伦比”，也更伟大。所以，认为一个“无与伦比的伟大存在者”仅存在于思想中，肯定是自相矛盾的。换言之，只要你心中有一个无与伦比的伟大存在者即上帝的观念，那就证明他一定也在现实中存在。
  安瑟尔谟的证明方式提出不久就遭到了隐修士高尼罗的批驳。说一个既存在于思想中也存在于现实中的存在者比一个仅仅存在于思想中的存在者更伟大，这实际上已经预先断定有一个既存在于思想中也存在于现实中的存在者。因此，“要证明上述东西在现实中存在，你首先必须证明这一个无可比拟的伟大东西确确实实地存在于某处，然后从它比一切事物都伟大这一事实，说清楚它自身也是潜存着的。”就像不能用具有海上仙岛的概念来证明仙岛确实存在一样，最伟大的东西也未必不能被设想为不存在。当然，高尼罗并不是一个无神论者，他所否定的不是上帝的存在，而是安瑟尔谟对上帝的本体论证明。
  对于高尼罗的批评，安瑟尔谟不以为然。在他看来，本体论证明仅仅适用于上帝的存在，因为只有上帝才是“无与伦比的伟大存在者”。而一个海上仙岛，无论怎样设想它的富饶和完美，都不能说它的概念中已经包含了必然的存在。
  安瑟尔谟的反驳，的确抓住了高尼罗的要害，因此在此之后，安瑟尔谟的本体论证明仍为笛卡尔、莱布尼茨、黑格尔等哲学家所欣赏和运用。不过，高尼罗要求安瑟尔谟“另有确切无疑的证明”，要求他“首先证明这一无与伦比的伟大东西确确实实地存在于某处”，却无疑在呼唤着证明上帝存在的一种新方式，即经验的方式。这一任务后来由基督教历史上最具影响力的神哲学家托马斯•阿奎那完成了。
  亚里士多德哲学与基督教神学的结合，促成了托马斯•阿奎那神哲学的形成。证明上帝的存在，是托马斯神哲学的一项重要内容。托马斯认为，上帝的本质已经包含着存在，但这只是一个信仰的事实，对于理性来说却不是一个自明的真理，对此必须加以证明。不过，像安瑟尔谟那样从纯粹概念推论出存在是不符合逻辑的。上帝的存在是确凿无疑的事实，但上帝本身是我们无法认识的，因而对上帝不能做先天的证明，而只能做后天的证明，即从结果去证明原因，从上帝的创造物去证明上帝的存在。因为结果同其原因相比，显然我们更容易认识结果，所以我们往往通过结果来认识原因。任何结果，只要我们越认识它，就越能推论其原因。因为结果渊源于原因，有果必定先有因。所以，上帝的存在，从上帝本身我们是无法认识的，但是，我们可以通过认识到的结果加以证明。