霍尔公理翻译的英文

汉语拼音：

【拼音】 huò ěr gōng lǐ

英语翻译：

【计】 Hoare axiom

分词翻译：

霍尔的英语翻译：

【计】 Hoare

公理的英语翻译：

axiom; generally acknowledged truth
【计】 Armstrong