数学构造函数的思想