برهان وجود، نوع برهان برای اثبات وجود خدا، نشان می دهد که مفهوم خدا به گونه ای است که عقلاً باید موجود باشد وگرنه مستلزم تناقض است. در این نوشتار، تقریر آنسلم و دو تقدیر دکارت از برهان وجودی ارائه شده است و از میان اندیشمندان مسلمان تقریر مولی مهدی نراقی