فيكون (1) محصورا بين حاصرين ، ونفرض خطين أحدهما لا يتناهى والآخر يتناهى ، زال المتناهي من الموازاة الى المسامتة فحدثت نقطة المسامتة هي أول النقطة ولا أول لأن كل مسامتة تحتانية مسبوقة بأخرى فوقانية ، ولا يتمشى هذا البرهان الا بعدم الجوهر وثبوته (2).
ومن استدلالاتهم برهان التطبيق (3)، وهو فرض خط يتناهى من جهة دون أخرى قد قطع من الجانب المتناهي منه قطعة ثم فرض انطباق الأول من الخط الكامل على الأول من الناقص ، فإن امتدا متساويين تساوى وجود الزائد وعدمه ، وإن تفاوتا تناهيا.
وصاحب المعتبر (4) لبلادته تحير في التطبيق فقال : كيف يمكن التطبيق مع انه يستحيل جزء الغير المتناهي الناقص بحيث يحاذي طرفه طرف الكامل.
احتج المخالف بأن خارج العالم يتميز فيه جانب عن جانب ، فإن الذي يلي القطب الشمالي يغاير الذي يلي القطب الجنوبي والعدم المحض لا امتياز فيه. وأيضا لو فرضنا هذا العالم أكثر (5) مما هو عليه وجب أن يكون ثم من الاحياز أكثر مما هي الآن ، وكذلك لو فرضنا العالم أكثر (6) من هذا المفروض بذراع كانت
Page 102