查看“︁理论（逻辑）”︁的源代码

[[分类:证明论]][[分类:模型论]]
{{InfoBox
|name=理论
|eng_name=theory
|aliases=形式理论,formal theory
}}
指[[形式化公理系统（逻辑）|形式化公理系统]]中，从一组[[公理（逻辑）|公理]]出发，按照给定推理规则，能[[演绎]]出的全体[[定理]]的集合。
特点是对可演绎关系封闭。


{{证明论}}
{{模型论}}