Сегодня мы познакомимся с важнейшими инструментами математики: упорядоченной парой, эквивалентностью и факторизацией. * * * Считать на палочках легко: две палочки, да три палочки будет пять палочек, в двух кучках по три палочки всего шесть палочек. Так мы учимся основам арифметики, потому что кучки палочек при сложении, умножении или сравнении, ведут себя как кучки чего угодно. А потом незаметно для себя, мы переходим от палочек к числам и встречаемся с первой серьёзной математической абстракцией: натуральным числом...