کون سا جملہ برہانِ تمانع کی منطقی حد کو درست واضح کرتا ہے؟

دو ارادوں کا ہونا خود اجتماعِ نقیضین ہے
محض عدمِ وقوع سے ہر صورت کسی قادر کا عجز ثابت ہے
اختلاف ممکن ہونے سے فساد کا واقع ہونا لازم ہے
نقیضین کے جمع ہونے کا محال ہونا ثابت ہے؛ مزید نتائج کے لیے اضافی مقدمات درکار ہو سکتے ہیں