axiom-hypothesis