>>334
やっぱりそんな感じかｗ残念だけどね、あなたがそこで想定してる「＋」と、
俺が定義した「＋」は全く別の演算子だよ。区別するために、俺の定義した演算子は
「＋’」としておこう。

さて、x，yを天文学的な数値だとしようか。そのとき、あなたの言う(物理的な)演算子「＋」では
リンゴx kg　＋　リンゴy kg　≠リンゴ(x＋y)kgが成り立つんだね？でも、俺が定義した演算子「＋’」では
そうならない。リンゴx kg　＋’　リンゴy kg　＝ リンゴ(x＋y)kgとなって、確かに
成り立っている。てか、要するに(X，＋’)はアーベル群になる。ここまでが「約束」だ。だから
ちゃんと、俺の定義した演算子「＋’」で、どんな天文学的数値を持ってきても成り立ってる。