ОКТЧ 1. Основы теории множеств

Таймкоды:
00:00:04 - Вступление Райгородского
00:02:49 - Лекция

Дата лекции: 07.09.23
Лектор: Мусатов Даниил Владимирович

Оператор: Горб Ксения
Монтажёр: Баданина Ксения

[WikMar-ti]

кажется, начало доходить, что пустое множество правильнее обозначать как { }. интересно, чем отличается множество, состоящее из единственного элемента от этого элемента.... Множество == оператор взятия в фигурные скобки ))))

[KirillKrolikov]

Получается, что каждый раз, когда мы конструируем какое-то множество, мы, по-хорошему, должны отдельно показывать, что для него выполняется аксиома регулярности? Иначе наш конструкт может не быть множеством.
Т.е. нельзя говорить: "рассмотрим множество всех..." Правильно: "рассмотрим следующее построение... Покажем, что для его результата выполняются аксиомы теории множеств. ... Таким образом это построение определяет множество"