“紧致*定理”简单造句，紧致*定理造句子

1、作为Rado定理和紧致*定理的一种特殊情形，我们得到下面的结果。

2、利用中介逻辑的完备*，本文*了紧致*定理，即一理论有模型当且仅当其任一有穷子集有模型。