更新时间：2024-05-21 16:26
形式理论(formal theory)一种语句集合，由犷中一些语句构成的集合称为罗中的一个形式理论。
简称理论.以理论T为出发点，可以构成如下的(一阶)形式系统二二(参见“形式推演系统”):
1. TC7的公理有两类，一类是非逻辑公理，即T中的语句;一类是逻辑公理，包括命题公理、量词公理、等词公理.
2.二二的推理规则有分离规则和推广规则.