Nice name
સમૂહ સિદ્ધાંતમાં, સામાન્ય મોડેલમાં ઉપગણની સંખ્યા પર ઉપલી મર્યાદા લાદવા માટે એક સરસ નામનો ઉપયોગ કરવામાં આવે છે. તેનો ઉપયોગ ઇસ્ટનના પ્રમેય જેવા સમૂહ સિદ્ધાંતમાં સ્વતંત્રતાના પરિણામોને સાબિત કરવા માટે બળજબરીના સંદર્ભમાં થાય છે. ઔપચારિક વ્યાખ્યા ચાલો ZFC સંક્રમણશીલ હોય, એક બળવાન કલ્પના, અને ધારો કે તે સામાન્ય છે. પછી કોઈપણ-નામ માટે, આપણે કહીએ છીએ કે તે નીચેના ગુણધર્મોને સંતોષતા-નામના ઉપગણ માટે એક સરસ નામ છેઃ (1) (2) બધા-નામો માટે, એક એન્ટીચેન બનાવે છે. (3) (કુદરતી ઉમેરો): જો, તો તેમાં એવું અસ્તિત્વ છે. સંદર્ભ બળજબરી (ગણિત)