所谓“内子集”(Internal subsets)是指:系统内部的集合,是数理逻辑模型论的一个普通术语。例如。人体的内部脏器,就是这个意思。
请看内集的英语原文,Every internal subset of is necessarily finite, (e.g.has no infinite elements, but can have infinitely many elements; see Theorem3.9.1 Goldblatt, 1998). In other words, every internal infinite subset of thehyperreals necessarily contains non-standard elements.
这段话的意思已经很清楚,就不必啰嗦了。很显然,不是内子集就是外子集
说明:如果我们把函数定义为“序偶集”,所谓“内函数”就不难理解了。
袁萌 1月12日