跳至內容
主選單
主選單
移至側邊欄
隱藏
導覽
首頁
分類索引
特色內容
新聞動態
最近修改
隨機條目
資助維基百科
說明
說明
維基社群
方針與指引
互助客棧
知識問答
字詞轉換
IRC即時聊天
聯絡我們
關於維基百科
搜尋
搜尋
分類
:
證明論
22 種語言
العربية
Беларуская (тарашкевіца)
Bosanski
Dansk
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Français
日本語
한국어
Македонски
Norsk nynorsk
Русский
Srpskohrvatski / српскохрватски
Српски / srpski
Türkçe
Українська
اردو
粵語
編輯連結
分類
討論
香港繁體
不转换
简体
繁體
大陆简体
香港繁體
澳門繁體
大马简体
新加坡简体
臺灣正體
閱讀
檢視歷史
工具
工具
移至側邊欄
隱藏
操作
閱讀
編輯
檢視歷史
一般
連結至此的頁面
相關變更
上載檔案
特殊頁面
靜態連結
頁面資訊
取得短網址
下載QR碼
維基數據項目
列印/匯出
下載為PDF
可列印版
其他專案
維基共享資源
外觀
移至側邊欄
隱藏
說明
維基百科,自由的百科全書
頁面分類
>
人文學科
>
哲學
>
邏輯
>
數理邏輯
> 證明論
維基共享資源
上的相關多媒體資源:
證明論
本
分類頁面
的主條目是「
證明論
」。
證明論經常與
模型論
相對比。
子分類
此分類包含以下 3 個子分類,共 3 個。
亞
亚结构逻辑
(3個頁面)
推
推理规则
(16個頁面)
證
证明方法
(6個頁面)
「證明論」分類的頁面
此分類共有 19 個頁面,以下顯示其中 19 個頁面。
证明论
B
BHK释义
C
柯里-霍华德同构
G
哥德尔不完备定理
哥德尔完备性定理
Q
切消定理
元
元語言
可
可实现性
完
完备性
希
希尔伯特演绎系统
希尔伯特计划
急
急成长阶层
獨
獨立性 (數理邏輯)
相
相继式
相继式演算
結
结构规则
緩
缓成长阶层
自
自然演绎
菲
菲弗曼-舒特序數
分類
:
數理邏輯
證明
元邏輯學
句法 (邏輯學)
理論
隱藏分類:
使用Catnav的頁面
維基共享資源分類連結由維基數據提供