霍尔公理的英文翻译

中文:霍尔公理

英文翻译:【计】 Hoare axiom