Category:证明论

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

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

子分类

本分类只有以下子分类。

亚

取自“https://zh.wikipedia.org/w/index.php?title=Category:证明论&oldid=33892438”