0:00 - транзитивные множества 1:35 - ординалы 2:29 - натуральные числа и омега - ординалы 2:51 - элемент ординала есть ординал 4:14 - последующее за ординалом множество есть ординал 5:07 - объединение и пересечение множества ординалов есть ординал 8:35 - теорема о трансфинитной индукции 20:57 - теорема о вплоне упорядочении ординалов 40:01 - для ординалов принадлежность и вложение эквивалентны 42:44 - последующий и предельный ординалы 44:31 - минимум и супремум 49:58 - положительное n - последующий ординал, омега - предельный 51:32 - критерий последующего ординала через супремум 53:28 - не существует наибольший ординал 54:05 - не существует множества всех ординалов 55:33 - про классы множеств В свойстве N7 забыл показать, что ординал предельный тогда и только тогда, когда он равен своему супремуму: a=sup(a). Будем считать это упражнением :) 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty:
Hide player controls
Hide resume playing