Some progress in the function axiom