29. Сложение кардиналов

0:15 - определение суммы кардиналов 4:08 - сумма двух кардиналов 4:56 - сумма по пустому множеству 5:19 - коммутативность суммы кардналов 6:30 - обобщенная коммутативность сложения кардиналов 8:30 - нейтральный элемент 8:50 - обобщенный нейтральный элемент 9:38 - ассоциативность суммы кардиналов 10:11 - обобщенная ассоциативность сложения кардиналов 13:22 - обобщенная монотонность сложения кардиналов 16:15 - вычисление суммы двух бесконечных кардиналов 22:05 - вычисление обобщенной суммы кардиналов