查看“︁模板:证明论”︁的源代码

{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%'
|-
! colspan=2 style='border-bottom-width:2px' | [[:分类:证明论|证明论]]
|-
| colspan=2 | [[形式化公理系统（逻辑）|形式化公理系统]]（形式化、公理化）
|-
! 举例
| [[公理系统（逻辑）|公理系统]]、[[自然演绎系统]]
|-
! 证明、演绎
| [[证明|证明、可证明]]、[[演绎|演绎、可演绎]]
|-
! 命题、定理
| [[公理（逻辑）|公理]]、[[定理]]、[[元定理]]、[[变形规则]]
|-
! 推理规则性质
| [[保存真实性]]、[[保存重言性]]
|-
! 公理系统性质
| [[可靠性]]、[[完全性]]、[[一致性]]、[[独立性]]
|}