Матлогика 3. Аксиома основания. Включение. Равенство множеств.

Таймкоды: 00:00:00 - vague truth 00:14:36 - множества 00:25:31 - аксиоматический метод 00:31:40 - аксиома основания 00:35:43 - лемма 1 00:39:50 - лемма 2 00:45:50 - определение (включение множества) 00:51:23 - определение (равенство множеств) 00:55:14 - лемма 3 о свойствах включения 00:56:54 - лемма 4 о свойствах равенства 00:58:28 - доказательство (лемма 3 п. 3) 01:13:22 - доказательство (лемма 4) Лекция: Лектор: Дашков Евгений Владимирович Плейлист: