私が
(a)-*-=+は定理である
(b)-*-=+は定義である
(c)-*-=+は定理でも定義でもよい
という質問をした時、
何故
「公理系（樹形図）を定めなければある命題が定理か定義か公理かは定まらないので
選択肢(a)(b)はおかしい、ありえない」

という反論が全く無かったのか不思議でなりません。
つまり
「-*-＝+は公理系に関係なく必ず定理である」
と思っていた人が何人かいたということでしょう。

それと、私に対する誹謗中傷は必ず「私の文章を引用して」
「ここ」が「おかしい」と誹謗中傷する形を取ってください。
でないと意味が無いですから。