理论（逻辑）
| 理论 | |
|---|---|
| 术语名称 | 理论 |
| 英语名称 | theory |
| 别名 | 形式理论, formal theory |
指形式化公理系统中，从一组公理出发，按照给定推理规则，能演绎出的全体定理的集合。 特点是对可演绎关系封闭。
| 证明论 | |
|---|---|
| 形式化公理系统（形式化、公理化） | |
| 推理系统 | Hilbert 风格/公理系统：Hilbert 表示 |
| Gentzen 风格-自然演绎系统： Gentzen 式自然演绎、 Fitch 式自然演绎、 Suppes–Lemmon 式自然演绎 | |
| Gentzen 风格-相继式演算： Gentzen 式相继式演算 | |
| 证明、演绎 | 演绎、可演绎、证明、可证明 |
| 命题、定理 | 公理/公理模式、定理、元定理、变形规则 |
| 推理规则性质 | 保存真实性、保存重言性 |
| 公理系统性质 | 可靠性、完备性/完全性、一致性、独立性 |