数学家的推理过程