关于纳尔逊的内集理论（修改稿）

上世纪后半叶，1977年，美国数理逻辑学家纳尔逊创立“内集理论”，作为引入鲁宾逊非标准分析的新方法。但是，国内无人关注，特写此文予以介绍。。

   纳尔逊（EDWARD NELSON，1932-2014）后半生专注于数学基础与数理逻辑的研究，见解独到，贡献颇丰。

   至于什么是“内集理论”？由于该理论涉及许多公理化系统的概念，在此不宜深入展开，只能点到为止。对此有兴趣者，请参阅纳尔逊的原著（本文附件）。

袁萌  陈启清  元月8日

附件：1977年，美国数理逻辑学家纳尔逊创立“内集理论”，作为引入鲁宾逊非标准分析非新方法

THE AMERICAN MATHEMATICAL SOCIETY Volume 83, Number 6, November 1977

INTERNAL SET THEORY: A NEW APPROACH TO NONSTANDARD ANALYSIS

1.   EDWARD NELSOO（纳尔逊）

2.   . We present here a new approach to Abraham Robinson's nonstandard analysis [10] with the aim of making these powerful methods readily available to the working mathematician. This approach to nonstandard analysis is based on a theory which we call internal set theory (1ST). We start with axiomatic set theory, say ZFC (Zermelo-Fraenkel set theory with the axiom of choice [1]). In addition to the usual undefined binary predicate E of set theory we adjoin a new undefined unary predicate standard. The axioms of 1ST are the usual axioms of ZFC plus three others, which we will state below. All theorems of conventional mathematics remain valid. No change in terminology is required. What is new in internal set theory is only an addition, not a change. We choose to call certain sets standard (and we recall that in ZFC every mathematical object-a real number, a function, etc.-is a set), but the theorems of conventional mathematics apply to all sets, nonstandard as well as standard. In writing formulas we use A for and, V for or, ~ for not, =* for implies, and <=> for is equivalent to. We call a formula of 1ST internal in case it does not involve the new predicate "standard" (that is, in case it is a formula of ZFC); otherwise we call it external. Thus "x standard" is the simplest example of an external formula. To assert that x is a standard set has no meaning within conventional mathematics-it is a new undefined notion. The fact that we have adjoined "standard" as an undefined predicate (rather than defining it in terms of E as is the case with all of the predicates of conventional mathematics) requires a readjustment of an engrained habit. We are used to defining subsets by means of predicates. In fact, it follows from the axioms of ZFC that if A(z) is an internal formula then for all sets x there is a set y = {z E x: A(z)} such that for all sets z we have z&y<&zExA A(z). However, the axioms of ZFC say nothing about external predicates. For example, no axioms allow us to assert that there is a subset S of the set N of all natural numbers such that for all n we have «€S <=> n E N A n standard. We may not use external predicates to define subsets. We call the violation of this rule illegal set formation. We adopt the following abbreviations: Vstx for \/x(x standard) =», 3six for 3x(x standard) A Vfinx for \/x(x finite) =>, 3finjc for 3x(x finite) A

（全文请看“无穷小微积分”网站）