على الترتّب والتوالى نقول : لا يخفى على كلّ عاقل انّ كلّ عدد مؤلّف من آحاد مترتّبة له نصف يجب أن يحصل نصفه أوّلا ثمّ يحصل كلّه ، وما لم يحصل في الخارج نصفه لا يمكن أن يحصل كلّه ، ولا ريب في انّ النصف إذا وجد كان محصورا بين الحاصرين ـ أعني : مبدأ السلسلة ومبدأ النصف الآخر ـ ، فيكون متناهيا ؛ وإذا كان النصف متناهيا كان الكلّ متناهيا.
ومنها : انه لو وجدت سلسلة غير متناهية من جانب واحد لاشتملت على آحاد فردية غير متناهية وآحاد زوجية كذلك ، فتوجد فيها أوّلا سلسلتان غير متناهيتين من جانب واحد ويلزم أن لا ينقص مجموع آحادهما عن آحاد الغير المتناهي في الجانبين بمقدار غير متناه ، لانّ الضرورة قاضية بانّ كلّ سلسلتين غير متناهيتين من جانب واحد لا ينقص مجموع آحادهما عن آحاد غير المتناهى من الجانبين بمقدار غير متناه ، بل امّا يتحقّق بينهما التساوي أو الزيادة أو النقصان بقدر متناه. ثمّ نقول : لا ريب في انّ كلّ سلسلة غير متناهية من جانب واحد ينقص آحادها عن آحاد السلسلة الغير المتناهية من الجانبين بمقدار غير متناه ، لأنّا إذا طبّقنا الأولى على أحد قسمي الثانية لكانت مساوية ومطابقة له ، ويبقى منها قسم آخر غير متناه ، فيلزم منه أن تكون السلسلة الّتي فرضت أوّلا غير متناهية من جانب واحد أنقص من الغير المتناهية من الجانبين بمقدار غير متناه وإن اشتملت على آحاد فردية غير متناهية وآحاد زوجية كذلك ، مع انّه يثبت أوّلا أنّها لا تنقص عنها بمقدار غير متناه ، فيجتمع فيها النقيضان ، وهو محال.
فان قيل : المحال انّما لزم من فرض وجود السلسلة الغير المتناهية من الجانبين ، ويجوز أن يكون وجود مثل تلك السلسلة محالا ولم يكن وجود السلسلة الغير المتناهية من جانب واحد محالا! ؛
قلنا : إن جاز وجود الغير المتناهي جاز وجود السلسلتين وإن لم يجز وجودهما ، والفرق تحكّم!.
فان قيل : المسلّم انّ السلسلتين الغير المتناهيتين من جانب واحد إذا تعدّدا