(-1)(-1)を未定義用語と見るならば
(-1)(-1)=+1は定義式です。
定義式とは
左辺が未定義用語、右辺が既定義用語、それをイコールで結んだものです。

(-1)(-1)を既定義用語と見るならば
(-1)(-1)=+1は定理式です。
定理式とは
左辺も右辺も既定義用語です。