>>55だが。
>>54の言いたい事がわからない。

Herbrandはどう？
日本ではエルブランと呼んでいる。
アメリカではハ―ブランドと呼んでいる。