>>106
最初は その2つの＋は意味が異なると考えるのです。
a+bi としたときの +は意味のない形式的記号だとおもってください。
演算を一通り定義したあとは晴れて
2つの+は混合しても論理的にまぎれないことが保証されます。