مشتملا على كلّ تلك الزّيادات الغير المتناهية. و لكن ذلك لا يضرّنا في الاستدلال لأنّا نقول: القول بكون الامتدادين‌ [١] غير متناهيين يوجب القول بكونهما متناهيين‌ [٢]؛ لأنّه إمّا أن يكون هناك بعد واحد يشتمل على كلّ تلك الزّيادات الغير المتناهية، أو لا يكون. فإن كان هناك بعد يشتمل على تلك‌ [٣] الزّيادات‌ [٤] وجب أن لا يكون فوقه بعد آخر. و إلّا لم يكن هو مشتملا على الزّيادة الموجودة في البعد الّذى فوقه، فلا يكون هو مشتملا على كلّ تلك الزّيادات؛ و إذا لم يكن فوقه بعد آخر لزم انقطاع الامتدادين. و إن‌ [٥] لم يكن هناك بعد يشتمل على جميع تلك الزّيادات، كان في تلك الزّيادات بعد غير مشتمل عليه. و البعد الّذى هو غير مشتمل عليه وجب‌ [٦] أن يكون آخر الأبعاد. إذ لو لم يكن آخر الأبعاد لكان فوقه بعد آخر، و لكان ذلك الفوقانى مشتملا عليه، و قد فرضناه غير مشتمل عليه؛ هذا خلف. فثبت أنّ الشك المذكور مؤكّد لهذه الحجّة و مقوّى لها [٧].

و اعلم أنّ جميع مقدّمات هذه الحجّة جليّة إلّا مقدّمة واحدة، و هى قولنا: لمّا كان كلّ واحدة من تلك الزّيادات حاصلا في شى‌ء آخر، وجب أن يوجد [٨] هناك بعد واحد يشتمل عليها بأسرها.

فإنّ لمطالب‌ [٩] أن يطالب بالدّلالة على أنّه لمّا كان كلّ واحد من تلك الزّيادات حاصلة في شى‌ء [١٠]، وجب أن تكون كلّها بأسرها حاصلة في بعد [١١] واحد على التّعيين. فهذه المقدّمة إن أمكن إثباتها بالبرهان استمرّ [١٢] البرهان، و إلّا سقط. و لنرجع الآن إلى شرح المتن.

أمّا قوله‌: «يجب أن يكون محقّقا عندك أنّه لا يمتدّ بعد في ملاء أو خلاء إن جاز وجوده إلى غير النّهاية»

؛ فاعلم أنّ معناه ظاهر [١٣]، و إنّما قال: «أو خلاء إن جاز وجوده»؛ لأنّ الخلاء عنده ليس بموجود، و ما لا يكون موجودا [١٤] استحال وصفه بكونه متناهيا. بل يصحّ أن يقال: إنّه لو ثبت لوجب أن يكون متناهيا.

و أمّا قوله: «فمن الجائز أن يفرض امتدادان غير متناهيين من مبدأ واحد لا يزال البعد بينهما

[١] - بكون الامتدادين: بكونهما مص.

[٢] - بكونهما متناهيين:+ فيكون القول بكونهما غير متناهيين محالا. و إنّما قلنا إنّ القول بكونهما غير متناهيين يوجب القول بكونهما متناهيين مج.

[٣] - تلك: كلّ مص.

[٤] - الغير المتناهية ... تلك الزّيادات:- م.

[٥] - و إن: و إذا م.

[٦] - عليه وجب: وجب مج.

[٧] - مقوّى لها: مقوّم لها مص.

[٨] - يوجد: يكون مص.

[٩] - لمطالب: المطالب م.

[١٠] - فى شى‌ء:+ واحد مص.

[١١] - فى بعد:- م.

[١٢] - استمرّ: ليتمّ مج.

[١٣] - ظاهر:- مص.

[١٤] - و ما لا يكون موجودا: ما ليس بموجود مج.