緊緻*定理造句怎麼寫

2、利用中介邏輯的完備*，本文*了緊緻*定理，即一理論有模型當且僅當其任一有窮子集有模型。

1、作爲Rado定理和緊緻*定理的一種特殊情形，我們得到下面的結果。