এটি প্রমাণ করা সম্ভব যে কোনও বাক্য আপেক্ষিক নয় এমন সত্যের ভিত্তিতে অবশ্যই আনুষ্ঠানিকভাবে স্বাধীন হতে হবে? অন্য কথায়, সংযোগযোগ্যতা / জটিলতা তত্ত্বের বাক্যগুলির উদাহরণ রয়েছে যেখানে এটি উভয়ই প্রদর্শিত হতে পারে ক) যে দুটি প্রমাণ সমান কিনা সে প্রশ্নটি সমাধানকারী সমস্ত প্রমাণ অবশ্যই পুনঃসংশ্লিষ্ট হওয়া উচিত, এবং খ) কোনও আপেক্ষিক প্রমাণ নেই যে এরকম রেজোলিউশনে ব্যবহার করা যাবে?
আমি মনে করি যে ফলাফলগুলি সন্তুষ্টকারী খ এর দ্বারা আসা আরও সহজ হবে। এই প্রশ্নটি জিজ্ঞাসা করার আরেকটি উপায় হ'ল গণ্যতা বা জটিলতা তত্ত্বের ক্ষেত্রে কি কখনও এমন বাক্য রয়েছে যেখানে এটি প্রমাণ করা যেতে পারে যে সামঞ্জস্যতা বা বৈষম্য প্রতিষ্ঠা করতে হবে আপেক্ষিক কৌশলগুলি ব্যবহারের মাধ্যমে (এবং কেবলমাত্র ব্যবহারের মাধ্যমে)? এর একটি উদাহরণ আমার কাছে আকর্ষণীয় হবে।
ধন্যবাদ; এই প্রশ্নের যে কোনও সংস্করণের উত্তর আমার কাছে খুব আকর্ষণীয় হবে।
-Philip