2
টাইপ থিওরিতে সসীম সেটগুলির তত্ত্বকে বৈধকরণ
বেশিরভাগ প্রুফ সহকারীদের "সীমাবদ্ধ সেট" ধারণার একটি আনুষ্ঠানিককরণ রয়েছে। এই আনুষ্ঠানিককরণগুলি যদিও বন্যভাবে পৃথক হয় (যদিও কেউ আশা করে যে সেগুলি সবগুলিই মূলত সমান!)। আমি এই মুহুর্তে যা বুঝতে পারি না তা হ'ল জড়িত নকশার স্থান এবং প্রতিটি আনুষ্ঠানিককরণের কী কী উপকারিতা হয় তা। বিশেষত, আমি নিম্নলিখিতগুলি বুঝতে চাই: আমি …