أي إذا كان لإمكان الأبعاد التي تفرضبينهما نهاية وجب أن ينتهي البعد بينهماإلى بعد لا يوجد ما هو أعظم منه (قوله وهناك ينقطع لا محالة الامتدادان و لاينفذان بعده) أي إذا انتهى إلى بعد لا يوجدأعظم منه هذا فقد وجب انقطاعهما (قوله وإلا أمكنت الزيادة على أكثر ما يمكن و هوذلك المحدود من جملة غير المحدود و ذلكمحال) أي إن لم ينقطع الامتدادان فقد يوجدبعد أعظم مما فرض أنه أعظم الأبعاد و حينئذيوجد بعد يشتمل على أكثر من الجملةالمتناهية التي فرضنا أنه لا يمكنالاشتمال على أكثر منها و هو محال فقوله وهو ذلك المحدود أي أكثر ما يمكن هو ذلكالمحدود بحسب الفرض الأول قال فظهر منجملة ذلك أنه لو لم يصر بعد واحد