لا على علّة المعلول المتأخّر عنه الّتي هي نفس ذلك المعلول ـ ، وإذا انطبق على علّته فلا تكون علّته متقدّمة عليه ، بل واقعة في مرتبته وهو خلاف المفروض ، فتتحقّق هناك علّة متقدمة على جميع المنطبقات فتزيد سلسلة العلل على سلسلة المعلولات بواحدة ، فيلزم انقطاع سلسلة المعلولات ، ومنه يلزم انقطاع سلسلة العلل ؛ هذا لو فرضت السلسلة متناهية من جانب المعلولات غير متناهية من جانب العلل. ولو فرضت متناهية من جانب العلل غير متناهية من جانب المعلولات تسقط العلّة المحضة ويلزم عند التطبيق بين الجملة التامة والناقصة زيادة وصف المعلولية على وصف العلية ، اذ كلّ معلول حينئذ لا ينطبق على علّته بل على عليّة معلوله المتاخّر عنه ، وتلك العلّة هى نفس ذلك المعلول. فبمثل ما مرّ تبين انّ كلّ معلول وعلّة منطبقين لا بدّ أن يكون بعدهما معلول. وعلى قياس ما تقدّم يلزم زيادة سلسلة المعلولات على سلسلة العلل ، فتنقطع السلسلتان [١].

ومنها « برهان التضايف ». وتقريره : انّه لو وجدت سلسلة غير متناهية لكان كلّ واحد من آحادها معلولا لسابقه وعلة للاحقه إلاّ العلّة الاولى إن كان عدم التناهى من جانب المعلولات دون العلل فانها علّة محضة ، إذ المعلول الأخير إن كان بالعكس فانّه معلول محض فيتصف كلّ واحد من آحادها بالمتضايفين ـ أعني : العلّية والمعلولية ـ ، إلاّ العلّة المحضة أو المعلول المحض ـ فان كلاّ منهما يتصف بإحداهما ـ ، فيزيد عدد أحد المتضايفين على الآخر بواحد ؛ لكنّه محال لانّ المتضايفين متكافئان في الوجود ـ أي : يجب تساويهما في العدد ـ ، فيلزم ان يكون بإزاء كلّ علية معلولية حتّى يتساويا / ١٢DA / في العدد ولا يتصوّر ذلك إلاّ بان تكون السلسلة من الطرف الآخر متناهيا لتحقّق معلول محض أو علّة محضة يكون بإزاء ما فرض في الطرف المتناهى من المعلول المحض أو العلّة المحضة. ولو فرضت السلسلة غير متناهية من / ١٢MA / الطرفين قطعناها من البين واعتبرنا كلّ قطعة على حدة. وهذا البرهان كما ثبت منه بطلان