一个数学家,研究基础数学.(专门研究数论一类与事实关系不大的)