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