axiom-hypotheses