مشتملا على كلّ تلك الزّيادات الغير المتناهية . ولكن ذلك لا يضرّنا في الاستدلال لأنّا نقول : القول بكون الامتدادين « 1 » غير متناهيين يوجب القول بكونهما متناهيين « 2 » ؛ لأنّه إمّا أن يكون هناك بعد واحد يشتمل على كلّ تلك الزّيادات الغير المتناهية ، أو لا يكون . فإن كان هناك بعد يشتمل على تلك « 3 » الزّيادات « 4 » وجب أن لا يكون فوقه بعد آخر . وإلّا لم يكن هو مشتملا على الزّيادة الموجودة في البعد الّذى فوقه ، فلا يكون هو مشتملا على كلّ تلك الزّيادات ؛ وإذا لم يكن فوقه بعد آخر لزم انقطاع الامتدادين . وإن « 5 » لم يكن هناك بعد يشتمل على جميع تلك الزّيادات ، كان في تلك الزّيادات بعد غير مشتمل عليه . والبعد الّذى هو غير مشتمل عليه وجب « 6 » أن يكون آخر الأبعاد . إذ لو لم يكن آخر الأبعاد لكان فوقه بعد آخر ، ولكان ذلك الفوقاني مشتملا عليه ، وقد فرضناه غير مشتمل عليه ؛ هذا خلف . فثبت أنّ الشك المذكور مؤكّد لهذه الحجّة ومقوّى لها « 7 » .
واعلم أنّ جميع مقدّمات هذه الحجّة جليّة إلّا مقدّمة واحدة ، وهي قولنا : لمّا كان كلّ واحدة من تلك الزّيادات حاصلا في شئ آخر ، وجب أن يوجد « 8 » هناك بعد واحد يشتمل عليها بأسرها .
فإنّ لمطالب « 9 » أن يطالب بالدّلالة على أنّه لمّا كان كلّ واحد من تلك الزّيادات حاصلة في شئ « 10 » ، وجب أن تكون كلّها بأسرها حاصلة في بعد « 11 » واحد على التّعيين . فهذه المقدّمة إن أمكن إثباتها بالبرهان استمرّ « 12 » البرهان ، وإلّا سقط . ولنرجع الآن إلى شرح المتن .
أمّا قوله : « يجب أن يكون محقّقا عندك أنّه لا يمتدّ بعد في ملاء أو خلاء إن جاز وجوده إلى غير النّهاية » ؛ فاعلم أنّ معناه ظاهر « 13 » ، وإنّما قال : « أو خلاء إن جاز وجوده » ؛ لأنّ الخلاء عنده ليس بموجود ، وما لا يكون موجودا « 14 » استحال وصفه بكونه متناهيا . بل يصحّ أن يقال : إنّه لو ثبت لوجب أن يكون متناهيا .
وأمّا قوله : « فمن الجائز أن يفرض امتدادان غير متناهيين من مبدأ واحد لا يزال البعد بينهما
هامش
( 1 ) - بكون الامتدادين : بكونهما مص .
( 2 ) - بكونهما متناهيين : + فيكون القول بكونهما غير متناهيين محالا . وإنّما قلنا إنّ القول بكونهما غير متناهيين يوجب القول بكونهما متناهيين مج .
( 3 ) - تلك : كلّ مص .
( 4 ) - الغير المتناهية . . . تلك الزّيادات : - م .
( 5 ) - وإن : وإذا م .
( 6 ) - عليه وجب : وجب مج .
( 7 ) - مقوّى لها : مقوّم لها مص .
( 8 ) - يوجد : يكون مص .
( 9 ) - لمطالب : المطالب م .
( 10 ) - في شئ : + واحد مص .
( 11 ) - في بعد : - م .
( 12 ) - استمرّ : ليتمّ مج .
( 13 ) - ظاهر : - مص .
( 14 ) - وما لا يكون موجودا : ما ليس بموجود مج .