在排除人对数学的思考后,数学的本质是什么?