紧致性定理是构建非标准数学理论的基础工具。
该定理的 精确陈述，不可不知。
该定理是我们倡导无穷小微积分的科学依据，而不是盲目信仰无穷小微积分。
请见本文附件。
袁萌 陈启清 7月3日
附件：
紧致性定理的精确陈述
Compactness theorem
In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model.
