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