Category:证明论

维基百科,自由的百科全书
跳转至: 导航搜索

证明论是对形式化论证的数学研究。

子分类

本分类只有以下子分类。