است یا متعدد ، ؟ مجرد است یا مادی ؟ چه صفاتی دارد ؟ در مراحل بعدی و با براهین جداگانه اثبات می‌شود . دو برهان ذیل را با توجه به این نکته‌ باید مورد توجه قرار داد ، در منظومه یکی از این دو برهان که همان برهان‌ " صدیقین " است ذکر شده است .

برهان سینوی

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