分類:證明論

維基百科，自由的百科全書

頁面分類 > 人文學科 > 哲學 > 邏輯 > 數理邏輯 > 證明論

維基共享資源上的相關多媒體資源：證明論

子分類

此分類包含以下 4 個子分類，共 4 個。

亞

亚结构逻辑 (3個頁面)

推

推理规则 (16個頁面)

證

证明方法 (6個頁面)
证明论学家 (4個頁面)

「證明論」分類中的頁面

此分類共有 19 個頁面，以下顯示其中 19 個。

证明论

B

BHK释义

C

柯里-霍华德同构

G

Q

切消定理

元

元語言

可

可实现性

完

完备性

希

急

急成长阶层

獨

獨立性 (數理邏輯)

相

結

结构规则

緩

缓成长阶层

自

自然演绎

菲

菲弗曼-舒特序數

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

分類：

隱藏分類：