じゃ、「A =_def B → A = Bって公理がないのはおかしい」って先生に質問しろ。