ثم نطبق الجملتين، بأن نجعل الأول من الجملة الأولى بإزاء الأول من الجملة الثانية، والثاني بالثاني
پھر دونوں مجموعوں کو اس طرح مقابل کریں کہ پہلے کا پہلا دوسرے کے پہلے کے مقابل، اور دوسرے کا دوسرا دوسرے کے دوسرے کے مقابل ہو۔
تطبیق کا مطلب صرف گنتی سنانا نہیں، بلکہ دو ترتیبوں کے ارکان کا باقاعدہ مقابلہ ہے۔ اصل دلیل میں دیکھا جاتا ہے کہ ہر رکن کے بالمقابل رکن باقی رہتا ہے یا کہیں ایک فہرست میں رکن موجود مگر دوسری میں غائب ہے۔
یہ تقابل آگے دو احتمالات پیدا کرتا ہے: ہر طرف مکمل مقابلہ ہو جائے، یا کسی مقام پر مقابلہ ختم ہو۔ دونوں پر کلاسیکی استدلال الگ نتیجہ نکالتا ہے۔