紧致性定理的纯语义证明

紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。