数学的定义是锻炼思维的体操