【计】 multiplicative axiom
multiplication【机】 multiplication
axiom; generally acknowledged truth【计】 Armstrong