幂函数的多种公理化定义

• Multiple axiomatived definition for power function