Category:证明论

维基百科，自由的百科全书

頁面分類 > 人文學科 > 哲学 > 邏輯 > 數理邏輯 > 证明论

维基共享资源中相关的多媒体资源：证明论

子分类

本分类有以下3个子分类，共有3个子分类。

亚

亚结构逻辑‎ (3个页面)

推

推理规则‎ (16个页面)

证

证明方法‎ (6个页面)

分类“证明论”中的页面

以下17个页面属于本分类，共17个页面。

证明论

B

BHK释义

C

柯里-霍华德同构

G

Q

切消定理

元

元語言

可

可实现性

完

完备性

希

獨

獨立性 (數理邏輯)

相

结

结构规则

自

自然演绎

菲

菲弗曼-舒特序數

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

分类：

隐藏分类：

使用Catnav的页面