دلیل های بسیاری برای اثبات وجود واجب الوجود در تاریخ دین، فلسفه و کلام اقامه شده است؛ دلیل هایی که فارغ از موجه بودن یا نبودن، بسیاری را قانع کرده و منشأ باور به وجود خداوند در اذهان بسیاری از انسان ها شده است. ابن سینا نیز از جمله فیلسوفانی است که راه های متعددی را برای اثبات وجود واجب الوجود پیموده است. از منظر ابن سینا «مصداق وجود و مصداق موجود»، «مصداق ممکن الوجود»، «مفهوم موجود» و «مفهوم واجب الوجود» مسیرهای چهارگانه ای هستند که به اثبات وجود واجب الوجود ختم می شوند. این مقاله با ارائه تقریری با وضوح حداکثری از این چهار گونه دلیل و تبیین وجوه تمایز بین آن ها نشان داده است که تنها در صورت چشم پوشی از پاره ای ویژگی ها در یک سلسله نامتناهی، می توان به انتاج دو دلیلی که بر پایه «مصداق وجود و موجود» و «مفهوم موجود» استوار هستند اذعان کرد. با این حال و در هر صورت، دلیل هایی که بر پایه «مصداق ممکن الوجود» و «مفهوم واجب الوجود» تبیین می شوند از اثبات وجود برای واجب الوجود ناتوان هستند.
