axiom

a component of a formal language, being a statement to be taken as valid by definition, §1-0; cf. Languages of Science