Множества и арифметические алгоритмы - раздел сайта "Тетрадкин-град". Излагаются основы количественной теории натуральных чисел, основной упор при этом сделан на обосновании («на языке множеств») арифметических алгоритмов - сложения и вычитания столбиком, умножения столбиком и деления уголком. Обычно обоснование этих алгоритмов проводится не на «языке множеств», а чисто арифметически, с опорой на коммутативность и ассоциативность сложения и умножения, дистрибутивность умножения относительно сложения и вычитания и другие арифметические законы. https://tetradkin-grad.ru/index.php/mnozhestva-i-arifmeticheskie-algoritmy