axiom-deegree