aziz anselmus

• kozmolojik ve ontolojik olmak üzere iki tür tanrı kanıtlaması yapar. kozmolojik tanrı kanıtlaması, tek tek şeylerden yola çıkılarak yapılır. özetle, "ben gördüğüm bir şeye iyi, büyük diyorsam bunun daha iyisi, daha güzeli de vardır. kaçınılmaz olarak en büyük ve en iyi bir varlığın zorunluluğu da burdan doğar. kendisinden daha büyüğü düşünülemeyen varlık en büyük varlıktır haliyle bu da tanrıdır." şeklindedir. ontolojik tanrı kanıtlaması ise kozmolojik tanrı kanıtlamasının sonucunu öncül olarak kabul eder ve tanrının varlığını değil "gerçek"liğini kanıtlama peşindedir. hem zihinde hem gerçeklikte var olan sadece zihinde olandan daha büyüktür. tanrı, kendisinden daha büyüğü düşünülemeyen varlık olduğuna göre hem zihinde hem gerçeklikte olmaması düşünülemez.
  17. yüzyılda rene descartes, anselmus'un, tanrı tanımından yola çıkan ontolojik tanrı kanıtını intihal yoluyla kendine maletmiştir.