The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.
利用中介逻辑的完备性，本文证明了紧致性定理，即一理论有模型当且仅当其任一有穷子集有模型。
The compact theorem is proved, which states that theory T has model if and only if any finite subset of T has model.
利用中介逻辑的完备性，本文证明了紧致性定理，即一理论有模型当且仅当其任一有穷子集有模型。
应用推荐