紧致性定理是构建非标准数学理论的基础工具。

该定理的 精确陈述，不可不知。

该定理是我们倡导无穷小微积分的科学依据，而不是盲目信仰无穷小微积分。

请见本文附件。

袁萌 陈启清  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.