>>178
>誰が「どっちが好きか」の議論だったなんていっている？

ということは、あなたは
「公理系に関係なく-*-＝+という命題は定理か定義か必ずどちらかに定まる」
という見解ですか？
とするなら、あなたは定理と定義、どちら「である」とお考えですか？