ল্যাম্বডা-ক্যালকুলাসের বিটা-এটা-তত্ত্ব পোস্ট-সম্পূর্ণ। লম্বা-ক্যালকুলাসের বিটা-তত্ত্বকে বিটা-এটা তত্ত্ব বাদে অন্যত্র মিশ্রিত তত্ত্ব পেতে বাড়ানোর জন্য কী আরও বিধি যুক্ত করা যেতে পারে?
পুনশ্চ
এই প্রশ্নটি আমার নিজস্ব নিয়ম লঙ্ঘন করেছে যে প্রশ্নকারীদের কেন যত্নশীল তা ব্যাখ্যা করা উচিত।
এটি এক রাতে আমাকে আঘাত করেছিল, এই সাইটটি ব্যক্তিগত বিটাতে যাওয়ার অনেক আগেই নয়, কারণ এক্সটেনসিলিটি এবং বাদ পড়া মাঝের নীতিটি সম্পর্কিত, এবং এটা বিধিটি কিছুটা প্রসারিতকরণের নিয়ম এবং অন্তর্দৃষ্টি এবং শাস্ত্রীয় যুক্তির মধ্যে অন্তর্বর্তী লজিকস রয়েছে, তবে এটি "ইন্টারমিডিয়েট এটা" তত্ত্বগুলির মতো কোনও জিনিস থাকলে আকর্ষণীয় হবে।
আমি যদি তা করে থাকি তবে এটা স্পষ্টই হত যে এভেজেনিজের উত্তর আমার পরে কী ছিল তা নয় বরং প্রশ্নটি যেভাবে তৈরি করেছি তাতে একটি সুস্পষ্ট সমস্যা উত্থাপন করেছে।