محض، تشكيل يافته و نيازى به هيچ مقدمه حسى و تجربى ندارد. ولى چون در اين برهان از مفاهيم و اصطلاحات فلسفى، استفاده شده مىبايست توضيحى پيرامون اين اصطلاحات و مقدماتى كه برهان مزبور از آنها تشكيل يافته است داده شود.
امكان و وجوب
هر قضيهاى هر قدر ساده باشد دست كم از دو مفهوم اساسى (موضوع و محمول) تشكيل مىيابد. مثلاً در اين قضيه «خورشيد روشن است» كه دلالت بر ثبوت روشنى براى خورشيد دارد «خورشيد» موضوع قضيه، و «روشن» محمول آن مىباشد.
ثبوت محمول براى موضوع، از سه حال، خارج نيست: يا محال است مانند اينكه گفته شود: «عدد سه بزرگتر از عدد چهار است» يا ضرورت دارد مانند اين قضيه كه «عدد دو، نصف عدد چهار است» و يا نه محال است و نه ضرورت دارد مانند «خورشيدى بالاى سرِ ما قرار دارد».
طبق اصطلاح منطقى، در صورت اول، قضيه، داراى وصف «امتناع» و در صورت دوم، داراى وصف «ضرورت» يا «وجوب» و در صورت سوم داراى وصف «امكان» (بمعناى خاص) مىباشد.
اما نظر به اينكه در فلسفه، درباره «موجود» بحث مىشود و چيزى كه ممتنع و محال باشد هيچگاه وجود خارجى نمىيابد، از اينروى فلاسفه، موجود را بحسب فرض عقلى به واجب الوجود و ممكن الوجود، تقسيم كرده اند: واجب الوجود عبارتست از موجودى كه خودبخود وجود داشته باشد و نيازى به موجود ديگرى نداشته باشد و طبعاً چنين موجودى ازلى و ابدى خواهد بود زيرا معدوم بودن چيزى در يك زمان، نشانه اينست كه وجودش از خودش نيست و براى وجود يافتن، نياز به موجود ديگرى دارد كه سبب يا شرط تحقق آنست و با فقدان آن مفقود مىشود. و ممكن الوجود عبارتست از موجودى كه خودبخود وجود ندارد و تحقق يافتنش منوط به موجود ديگرى است.
اين تقسيم كه براساس فرض عقلى، انجام گرفته است بالضروره وجودِ ممتنع الوجود را نفى مىكند ولى دلالتى ندارد بر اينكه موجودات خارجى از كداميك از دو قسم (واجب الوجود و