一般的な数学の体系だと A + A = 2A ですが、 A + A = A な体系もありますし A×B ≠ B×A なんて体系もあります。 3辺がすべて90°の二等辺三角形も存在します。 A=B であり A≠B といった矛盾さえなければ規則は自由です。