Матлогика 4. Способы построения множеств

Таймкоды: 00:00:00 - повторение материала прошлой лекции 00:05:43 - замечание по отношению равенства 00:07:42 - замечание по отношению принадлежности 00:09:24 - аксиома равенства 00:12:55 - принцип замены 00:19:04 - допущения 00:21:21 - аксиомы существования множества (способы существования множеств) 00:22:25 - первый принцип - аксиома пары 00:28:44 - пример 00:31:34 - замечание, “синонимы“ 00:38:17 - синглетоны 00:39:42 - следствие 4 00:41:04 - следствие 5 00:46:54 - второй принцип (выделение подмножества) 00:52:41 - утверждение 00:53:27 - пустое множество 00:55:07 - определение ∅, доказательство его пустоты 00:57:53 - лемма 7 (свойства пустого множества) 01:01:10 - доказательство равенства пустых множеств (единственности пустого множества) 01:03:12 - парадокс Рассела 01:14:15 - третий способ (множество-степень) Лекция: Лектор: Дашков Евгений Владимирович Плейлист: