=_defが等号でなかったら、どうして
「A =_def B → A = Bって公理がないのはおかしい」
となるのか。