سابقۀ این برهان در غرب به «آنسلم قدّیس» می رسد. هر چند می توان انواعی از این برهان را در میان فلاسفۀ قبل از آنسلم نیز یافت، اما کسی که این برهان را بطور منسجم ارائه کرد و او را مبدع این برهان در مغرب زمین می دانند آنسلم قدیس است. در این برهان با تکیه بر اوصاف منحصر به فرد متعددی همچون: «واجب بالذات»،«کامل مطلق» و «موجود بی نهایت» و تحلیل مفهومی این ها و با تکیه بر اصل اجتماع نقیضین وجود خدا اثبات می شود.