公理系统的英文翻译

英文翻译：【计】 Armstrong axiomatic Arms-trong; axiomatic system