数学哲学对数学的思考