Математика как иностранный. B1-1. Арифметика Пеано.

Работаем с аксиоматикой формальной арифметики Пеано, доказываем конгруентность равенства и основные свойства арифметических операций: ассоциативность, коммутативность, дистрибутивность.