数学基本定义