公理说明

【计】 axiomatic specification

公理的英语翻译：

axiom; generally acknowledged truth
【计】 Armstrong

说明的英语翻译：

explain; narrate; account for; illustrate; make out; say; show; specify; state
directions; explanation
【计】 DCL; declaration; elucidata; explanatory notes
【化】 specification; specify
【经】 explanation; explanatory note; justification