中国科研项目学科分类与代码

中国科研项目《学科分类与代码》（ ）一级学科： 数学二级学科： 数学史 数理逻辑与数学基础三级学科： 演绎逻辑学(亦称符号逻辑学) 证明论(亦称元数学)