VII

plus 0.75em minus 0.25em 次にこの問題へ進み、二つの順序対 ( x , y ) と ( x ′ , y ′ ) の加法にどのような意味を割り当てることが好都合であるかを問うことにしよう。その解釈は、(a) 加法の結果が再び一つの順序対となるようにし、(b) 演算が可換、すなわち ( x , y ) + ( x ′ , y ′ ) = ( x ′ , y ′ ) + ( x , y ) となるようにし、(c) 演算が結合的、すなわち