用紧致*定理造句子，“紧致*定理”造句

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

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