અમે પ્રથમ ધારે છે કે ખાલી સેટ અનન્ય નથી, તેમાં કોઈ તત્વો સાથે બે સેટ નથી, અને પછી સેટ સિદ્ધાંતમાંથી કેટલીક સંપત્તિઓનો ઉપયોગ કરે છે તે બતાવવા માટે કે આ ધારણા એક વિરોધાભાસ સૂચવે છે.