数学基础与哲学基础的思考