Nice name
সেট তত্ত্বে, জেনেরিক মডেলের উপসেটগুলির সংখ্যার উপর একটি ঊর্ধ্বসীমা আরোপ করার জন্য একটি সুন্দর নাম ব্যবহার করা হয়। ইস্টনের উপপাদ্যের মতো সেট তত্ত্বে স্বাধীনতা প্রমাণ করার জন্য বলপ্রয়োগের প্রেক্ষাপটে এটি ব্যবহার করা হয়। আনুষ্ঠানিক সংজ্ঞা ZFC-কে ক্ষণস্থায়ী হতে দিন, একটি জোরালো ধারণা, এবং মনে করুন এটি সাধারণ। তারপরে যে কোনও নামের জন্য, আমরা বলি যে এটি একটি উপসেটের জন্য একটি সুন্দর নাম যদি একটি-নাম নিম্নলিখিত বৈশিষ্ট্যগুলি সন্তুষ্ট করেঃ (1) (2) সমস্ত নামের জন্য, একটি অ্যান্টিচেইন গঠন করে। (3) (প্রাকৃতিক সংযোজন): যদি, তাহলে এর মধ্যে এমন কিছু থাকে। রেফারেন্স ফোর্সিং (গণিত)