[Sorry, когато писах не забелязах обяснението на Nedev, сигурно не се е било появило, иначе то е достатъчно и не е трябвало да пишащ

Дали става с непразно множество?

(1) Класическия (стандартен) модел на теория на множествата се изгражда стъпка-по-стъпка от празното множество, което се приема за първоначално зададено, и няма нищо друго в света божи:
Ако означим празното множество чрез {} -- или една празна-кошница-наречена-множество -- в нея можен да сложим друга празна кошница, за да получим {{}}, т.е. едно-елементното множество. Може да си играем колкото си щем по този начин: {{} {}} или {{}{{}}{{{}{{}}}}...} не съм броил съответствието на скобите, но трябва отваряща да съвпада със затваряща.

(2) Алтернативно, има модели с "атоми", където освен празното множество {}, има други обекти -- наречени атоми -- които също са множества. Едно-елментни множества. Подмножеството на такова едно-елементно-множество-атом се дефинира да е празното {} -- за да върви бизнеса :)
Обаче това са екстри (безсмислени според мен) .. демек класическия вариант е достатъчно прост и ясен, та с него да моделериме всичко. Никой не е показал нещо, което не може да се моделира с класическия вариант.