関数記号-とか*を無定義述語として導入するならまだわかるけど
(-1)*(-1)全体で一つの無定義述語としてみるのはほとんど無理かと。

(-1)*(-1)以外の掛け算（ 2*(-5） とか 3*4 とか）は扱わない、という方針ならまた別だけど
そんなん掛け算じゃないし。

定義式だとか定理式だとかが>>58が勝手に独自に定義した
専門用語なら話は別なのかもしれないけどね。