Multiple Axiomatic Definition for Logarithm Function

• 对数函数的多种公理化定义