【計】 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
【經(jīng)】 explanation; explanatory note; justification