|
冯\(\cdot\)诺依曼自然数构成法\(u+1=u\cup\{u\}\)的“=”两边要么同时是数,要么同时是集合。决无一个“数”等于一个集合之理。并且“=”号数学含义是:“=”的左边是“=”右边的后继。等式\(\displaystyle\lim_{n \to \infty}n=\)\(\displaystyle\bigcup_{n\in\mathbb{N}}n\)是集合等式。而对\(n\in\mathbb{N}\)显然亦有\(n=\{0,1,2,…\}\)的“=”则表示集合n是集合\(\{0,1,2,…(n-1)\}\)后继,即集合\(\{0,1,2.…,n\}\)是集合\(\{0,1,2,\)\(…(n-1)\}\)的后继。虽然集合\(\{0,1,2,\)\(…(n-1)\}\)\(\subsetneq\mathbb{N}\),但集合\(sup\mathbb{N}=\)\(\displaystyle\lim_{n \to \infty}n=\)\(\displaystyle\bigcup_{n\in\mathbb{N}}=\)\(\mathbb{N}\) .所以没有\(n<\mathbb{N}\)之说(数与集合的关系只有\(\in\)或\(\notin\)两种情形,而无“<”、“>”关系)。当然也就更没有\(\mathbb{N}\)\(\subsetneq\)\(\mathbb{N}\)之理!因为集合\(\displaystyle\lim_{n \to \infty}n=\)\(\mathbb{N}\) ,所以\((\displaystyle\lim_{n \to \infty}n\)\(\subseteq\mathbb{N})\)\(\land(\mathbb{N}\subseteq\displaystyle\lim_{n \to \infty}n)\)(两集合相等的充分必要条件). 所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\) . |
|