それならば、「整数」、もっと限定して「負の数」をどう定義するかが問題だな。
そもそも「自然数」が何かということも問題だけど。


ただ、「負の数」を、自然数の足し算における逆元（＝逆数）として定義することは
誰も譲らないだろう。
となると、さらに分配法則を満たさなければならないなら、必然的に「(-1)×(-1) = 1」
となってしまうな。

何もめてんの？