模板:证明论：修订间差异
无编辑摘要 |
|||
| （未显示同一用户的4个中间版本） | |||
| 第5行： | 第5行： | ||
| colspan=2 | [[形式化公理系统（逻辑）|形式化公理系统]]（形式化、公理化） | | colspan=2 | [[形式化公理系统（逻辑）|形式化公理系统]]（形式化、公理化） | ||
|- | |- | ||
! | ! rowspan=3 | 推理系统 | ||
| [[公理系统（逻辑）|公理系统]]、[[ | | [[公理系统（逻辑）|Hilbert 风格/公理系统]]：[[Hilbert 表示]] | ||
|- | |||
| Gentzen 风格-[[自然演绎系统]]： [[Gentzen 式自然演绎]]、 [[Fitch 式自然演绎]]、 [[Suppes–Lemmon 式自然演绎]] | |||
|- | |||
| Gentzen 风格-[[相继式演算]]： [[Gentzen 式相继式演算]] | |||
|- | |- | ||
! 证明、演绎 | ! 证明、演绎 | ||
| [[ | | [[演绎|演绎、可演绎]]、[[证明|证明、可证明]] | ||
|- | |- | ||
! 命题、定理 | ! 命题、定理 | ||
| [[公理（逻辑）|公理]]、[[定理]]、[[元定理]]、[[变形规则]] | | [[公理（逻辑）|公理/公理模式]]、[[定理]]、[[元定理]]、[[变形规则]] | ||
|- | |- | ||
! 推理规则性质 | ! 推理规则性质 | ||
| 第18行： | 第22行： | ||
|- | |- | ||
! 公理系统性质 | ! 公理系统性质 | ||
| [[可靠性]]、[[完全性]]、[[一致性]]、[[独立性]] | | [[可靠性]]、[[完备性（逻辑）|完备性/完全性]]、[[一致性]]、[[独立性]] | ||
|} | |} | ||
2026年1月25日 (日) 13:15的最新版本
| 证明论 | |
|---|---|
| 形式化公理系统（形式化、公理化） | |
| 推理系统 | Hilbert 风格/公理系统：Hilbert 表示 |
| Gentzen 风格-自然演绎系统： Gentzen 式自然演绎、 Fitch 式自然演绎、 Suppes–Lemmon 式自然演绎 | |
| Gentzen 风格-相继式演算： Gentzen 式相继式演算 | |
| 证明、演绎 | 演绎、可演绎、证明、可证明 |
| 命题、定理 | 公理/公理模式、定理、元定理、变形规则 |
| 推理规则性质 | 保存真实性、保存重言性 |
| 公理系统性质 | 可靠性、完备性/完全性、一致性、独立性 |