>>33
そんなことはないよ。＝と＝_defが別の記号なら、A =_def B → A = Bって
公理がないのはおかしいんだから、どうしてなのか先生に質問するべきだよ。
君は最後に？がついた疑問文じゃないと質問にならないって思ってる厨房？