理论（逻辑）

理论
术语名称	理论
英语名称	theory
别名	形式理论, formal theory

指形式化公理系统中，从一组公理出发，按照给定推理规则，能演绎出的全体定理的集合。 特点是对可演绎关系封闭。

证明论
形式化公理系统（形式化、公理化）
举例	公理系统、自然演绎系统
证明、演绎	证明、可证明、演绎、可演绎
命题、定理	公理、定理、元定理、变形规则
推理规则性质	保存真实性、保存重言性
公理系统性质	可靠性、完全性、一致性、独立性