Anselmus'un ontolojik kanıtı, Tanrı'nın var oluşundaki zorunluluğun, Tanrı kavramının en üstün varlık anlamını barındırmasından kaynaklandığını savunur. Kanıtlamanın temel argümanları: Tanrı kavramı: Tanrı, "en yetkin varlık" olarak tanımlanır. Varlığın gerekliliği: Var olmadığı düşünülemeyen şey, var olmadığı düşünülen şeyden daha büyüktür. Gerçek varoluş: Düşüncede var olan bir şey, gerçekte de vardır. Örnek bir çıkarım: 1. Tanrı, kendisinden daha büyüğü düşünülemeyen varlıktır. 2. Var olmadığı düşünülemeyen şey, var olmadığı düşünülen şeyden daha büyüktür. 3. Öyleyse, daha büyük bir şeyin var olabileceği düşünülebilir. 4. Fakat daha büyük bir şeyin var olabileceğini düşünmek saçmadır. 5. Dolayısıyla, var olmadığı düşünülemeyen şeyin var olmadığı düşünülemez. 6. O halde Tanrı vardır. Anselmus'un kanıtlamasına yönelik eleştiriler de bulunmaktadır.