huntington axiom