ادله فراوانی بر اثبات وجود خدا اقامه شده است که در ذیل به یکی از آن ها اشاره می کنیم.

ـ برهان امکان، یا برهان «امکان و وجوب». این برهان از چهار مقدمه‌ یقینی تشکیل می یابد:
الف) هیچ ممکن الوجودی ذاتاً ضرورت وجود ندارد، یعنی هنگامی که عقل، ماهیتش را در نظر می گیرد، آن را نسبت به وجود و عدم، یکسان می بیند و صرف نظر از وجود علت، ضرورتی برای وجود آن نمی بیند.
این مقدمه، بدیهی و بی نیاز از اثبات است. زیرا محمول آن از تحلیل مفهوم موضوع به دست می آید و فرض ممکن الوجود بودن عیناً فرض نداشتن ضرورت وجود است.
ب) هیچ موجودی بدون وصف ضرورت، تحقق نمی یابد، یعنی تا هنگامی که همه راه های عدم به روی آن مسدود نشود، به وجود نمی آید، و به قول فلاسفه «الشیء ما لم یجب لم یوجد». به دیگر سخن: موجود یا ذاتاً واجب الوجود است و خود به خود ضرورت وجود دارد و یا ممکن الوجود است، و چنین موجودی تنها در صورتی تحقق می یابد که علتی آن را ایجاب کند و وجود آن را به سر حدّ ضرورت برساند، یعنی به گونه ای شود که امکان عدم نداشته باشد. این مقدمه هم یقینی و غیر قابل تشکیک است.
ج) هنگامی که وصف ضرورت، مقتضای ذات موجودی نبود، ناچار از ناحیه موجود دیگری به آن می رسد، یعنی علت تامه، وجود معلول را ضرورت بالغیر می سازد.

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

با توجه به این مقدّمات یقینی، برهان امکان به این صورت تقریر می‌شود: موجودات جهان، همگی با وصف ضرورت بالغیر،‌ موجود می شوند، زیرا از یک سو ممکن الوجود هستند و ذاتاً وصف ضرورت را ندارند (مقدمة اوّل) و از سوی دیگر، هیچ موجودی بدون وصف ضرورت تحقق نمی یابد (مقدمه دوم) پس ناچار، دارای وصف ضرورت بالغیر می‌باشند و وجود هر یک از آن‌ها به وسیلة علتی ایجاب می‌شود (مقدمه سوم).
اکنون اگر فرض کنیم که وجود آن‌ها به وسیله یک دیگر ضرورت می یابد، لازمه اش دَوْر در علل است و اگر فرض کنیم که سلسلة علل،‌تا بی نهایت پیش می رود، لازمه اش تسلسل است و هر دوی آن‌ها باطل و محال می‌باشد(مقدمه چهارم) پس ناچار باید بپذیریم که در رأس سلسله علت ها موجودی است که خود به خود ضرورت وجود دارد، یعنی واجب الوجود است.
این برهان را به صورت دیگری نیز می توان تقریر کرد که نیازی به مقدمه چهارم (ابطال دور و تسلسل) نداشته باشد، و آن این که: مجموعه ممکنات به هر صورت که فرض شود، بدون وجود واجب الوجود بالذات، ضرورتی در آن‌ها تحقق نمی یابد، در نتیجه، هیچ یک از آن‌ها موجود نمی شود، زیرا هیچ کدام از آن‌ها خود به خود دارای ضرورتی نیستند تا دیگری در پرتو آن ضرورت یابد.

از طرف دیگر چون می بینیم موجوداتی در عالَم هستی وجود دارد، پس ناچار واجب بالذات و علت غیر معلول و شرط غیر مشروطی در نظام هستی هست که این‌ها وجود پیدا کرده اند.