ومن مشهور الأدلة برهان التطبيق
Among the well-known arguments is the proof by correspondence (*burhān al-taṭbīq*).
The source adds another route for disputing an infinite causal series. In the correspondence argument, members of two ordered collections are aligned, first with first, second with second, and so on.
This is a historical argument of kalām and philosophy, not an established modern theorem showing that all infinite mathematical sets are impossible. Its intended target is a purportedly actual sequence of dependent existents.