数学基础定义