紧致性定理推论：超实数*R的存在性

        let Σ be afirst-order axiomatization of the theory of the real numbers.  

        Consider thetheory obtained by adding（添加） a new constant symbol ε tothe language and adjoining to Σ（实数的公理系统） the axiom ε > 0 and theaxioms ε < 1/n for all positive integers n. Clearly（显然）, the standardreal numbers R are a model for every finite subset of these axioms, because thereal numbers satisfy everything in Σ and, by suitable choice of ε, can be madeto satisfy any finite subset of the axioms about ε. By the compactness theorem,there is a model *R that satisfies Σ and also contains an infinitesimal elementε（无穷小） similar argument, adjoiningaxioms ω > 0, ω > 1, etc., shows that the existence of infinitely largeintegers cannot be out（被排除掉） by any axiomatization Σ ofthe reals.

袁萌  3月8日