Anselmus'un ontolojik kanıtı, Tanrı'nın varlığını kanıtlamak için saf mantıksal düşünce kullanan bir argümandır. Bu kanıt şu şekilde özetlenebilir: 1. Tanrı, kendisinden daha büyük düşünülemeyen varlık olarak tanımlanır. 2. Bu tür bir varlık, sadece zihinde var olsaydı, ondan daha büyük bir şey düşünülebilirdi: gerçekte var olan bir Tanrı. 3. O hâlde Tanrı, yalnızca zihinde değil, gerçekte de vardır. Anselmus, bu argümanı "Proslogion" adlı eserinde geliştirmiştir.