সর্বোত্তম সালে বাক্য এর ক্যালকুলাস কাগজ একটি নিয়ম বলে যে নেই
(মূল নথির পিডিএফের পৃষ্ঠা 7, পৃষ্ঠা 101)
এই নিয়মের অর্থ হ'ল যে প্রসঙ্গটি সেই প্রসঙ্গের সদস্যের পক্ষে হ্রাসযোগ্য। এটি মনে হচ্ছে এটি সঠিক হওয়া উচিত নয়, যেমন এটি জোর দেয়
1 ≅ Nat
3 ≅ Nat
1 ≅ 3
নাট যদি একটি প্রসঙ্গ হয়।
আমি মনে করি সর্বোত্তম ব্যাখ্যাটি হ'ল নিম্ন ব-দ্বীপটি একটি এম হতে হয়েছিল বিশেষত পরবর্তী পৃষ্ঠায় প্রদত্ত বিধিগুলি বিবেচনা করে।
সুতরাং এটি কি কেবল একটি টাইপো, বা কিছু সূক্ষ্ম যৌক্তিক নিয়ম যা আমি বুঝতে পারি না?