21. Cложение ординалов

0:00 - определение сложения ординалов графически 1:06 - определение через порядковый тип 14:27 - реурсивное определение сложения ординалов 18:08 - эквивалентность определений 19:33 - нейтральный элемент по сложению ординалов 19:45 - ассоциативность сложения ординалов 20:28 - строгая монотонность по второму слагаемому 21:17 - нет строгой монотонности по первому слагаемому 22:10 - нестрогая монотонность 22:40 - правило сокращения слева 23:40 - нет сокращения справа 24:16 - вычитание слева 26:41 - нет вычитания справа 29:19 - произвольная упорядоченная сумма ординалов 34:20 - рекурсивное определение произвольной суммы 40:46 - обобщенная ассоциативность сложения В ролике есть обещание доказать свойства, но из соображений лаконичности я их вырезал. Если будет необходимо подробнее раскрыть доказательство каких-то свойств сложения, пишите - дополним отдельным роликом!