text: Для пар определяют эквивалентность, сложение и умножение следующим образом: ( a , b ) {\displaystyle (a,\;b)} эквивалентно ( c , d ) {\displaystyle (c,\;d)} тогда и только тогда, когда a = c {\displaystyle a=c} и b = d {\displaystyle b=d} , ( a , b ) + ( c , d ) = ( a + c , b + d ) , {\displaystyle (a,\;b)+(c,\;d)=(a+c,\;b+d),} ( a , b ) ⋅ ( c , d ) = ( a c − b d , b c + a d ) . {\displaystyle (a,\;b)\cdot (c,\;d)=(ac-bd,\;bc+ad).} Логико-математическое построение носит название формальной арифметики.