>>99
OKだが、そもそも そういう話はナンセンスであって、興味が沸かない。
厳密にやるなら>>94のようなことはしないで、ペアノの公理系から
出発して整数まで持っていくわ。

俺が書いているのは、あくまでも初心者が納得しやすいような説明の仕方。

>>101
aは任意の整数として定義したから、(-a)という書き方は94と比較して
「見た目の違い」しかない。よって、君の質問は

a×(-b)で定義してみていただけませんか

ということになるが、もしbが0以上ならば、94で既に定義されている。
もしb＜0のつもりで書いたのならば、-(-1)＝1というたぐいの計算を
すれば-b＞0だと分かるから、やはり94で定義されている。