Здравствуйте, gh2, Вы писали:

gh2>>ИМХО Мендельсон разве что как классическое введение сгодится. На русском более-менее современное изложение классики у Ершова Палютина.
gh2>Пардон, как редактировать не нашел, ссылка http://lib.mexmat.ru/books/3554

Эх. Ну вот почему так? Как ни открою книгу по логике, так никак не могу продвинутся дальше второй страницы. И вот опять. Цитата:

Если любой элемент множества X является элементом множества Y, то множество X называется подмножеством множества Y и обозначается это так: X ⊆ Y. Если для множеств X и Y имеем X ⊆ Y и Y ⊆ X, то будем считать множества X и Y равными и писать X = Y. Таким образом, множество полностью определено своими элементами. В частности, существует только одно множество, не содержащие ни одного элемента. Такое множество будем называть пустым и обозначать символом Ø.

Как это получилось? Откуда это следует?
Если множество полностью определено своими элементами и в множестве нет ни одного элемента, то значит ли это множество не определено? Раз мы не можем определить множество, то с чего мы взяли, что оно существует?

Предположим, что существует пустое множество. Мы не можем указать ни одного элемента этого множества (по определению). Значит у нас нет способа сравнить два пустых множества и сказать, что они равны. Тогда почему утверждается, что существует (!?) только одно множество?