单项选择题 古埃及数学的记数法，是以十为基数的（）文字。

单项选择题 罗素和怀特海于191913年合著的《数学原理》一书，被公认为是自（）以来对逻辑学的最伟大贡献之一。

单项选择题 目前，中国数学学派用计算机证明数学命题的主要代表人物是：吴文俊，石赫，张景中，杨骆，洪加威等人，他们的方法在世界上被称为（）方法。