0:00:10 1. Бином Ньютона для произвольных чисел
0:11:43 2. Определение функции
0:16:42 3. Определение Декартового произведения
0:25:57 4. График функции
0:32:55 5. Определение операции и свойства
0:44:30 6. Индуктивные определения на множестве натуральных чисел
1:09:15 7. Множество целых чисел
1:12:07 8. Определения отношения эквивалентности
1:17:15 9. Определение класса эквивалентности
1:23:23 10. Определение рациональных чисел