|
因为自然数集\(\mathbb{N}\)是最小可列集 ,如果把\(\mathbb{N}\)从小到大排成一列,则\(v=\displaystyle\lim_{n \to \infty} n\)就是该排列“最后”位置(即(序号为\(\displaystyle\lim_{n \to \infty} n\) 位置 上的那个自然数。同理 \(v-j=\displaystyle\lim_{n \to \infty} (n-j)\) \(\quad( j\in\mathbb{N})\)亦是们于序号为\(\displaystyle\lim_{n \to \infty} (n-j)\)位置上的自然数。现在我们用反证法证明\(v\)是自然数.
【证法】(反证法):若\(v=\displaystyle\lim_{n→∞} n\)不是自然数。由皮亚诺公理第二条,\(v\)的前趋\(v-1\)也不是自然数(否则\(v\)是自然数,这写\(v\)不是自然数的假设矛盾)。逆用皮亚诺公理\(v-1\)的前趋\(v-2\)也不是自然数……类此(k+1)的前趋k不是自然数,…,2的前趋1不是自然数,1的前趋0也不是自然数。所以自然数集\(\mathbb{N}=\phi\),这与\(\mathbb{N}≠\phi\)矛盾,所以\(\displaystyle\lim_{n\to\infty} n\)是自然数(即\(v\in\mathbb{N}\))。【证毕】
elim认为【\(\mathbb{N}\)无最大元,最后最大序数是白痴臆淫\(v=\displaystyle\lim_{n \to \infty} n\)不小于任何自然数, 故非\(\mathbb{N}\)的成元,只有\(\mathbb{N}\)的成员才叫自然数】,elim的这段言论是错误的,因为【\(\mathbb{N}\)无最大元】是根据\(\mathbb{N}\)元素的值而言的。自然数\(v\),\(v-1\),\(v-2\),……\(v-k\){k为任意有限数)的值均\(\infty\)无穷大量间无大小关系。其次从康托尔有穷基数的无穷序列1,2,3,…\(v=\displaystyle\lim_{n \to \infty} n,\omega,\omega+1,\omega+2,……\)(参见康托尔《超穷数理论基础》P43页)看【\(v=\displaystyle\lim_{n \to \infty} n\)不小于任何自然数】这是再正常不过的了。并且从康托尔有穷基数的无穷序列看自然数集\(\mathbb{N}=\)\(\{1,2,3,……,v=\displaystyle\lim_{n \to \infty} n\}\)看,\(v=\displaystyle\lim_{n \to \infty} n\}\)确实是\(\mathbb{N}\)的成员。elim所说的矛盾恰好反映出你并没有真正认识自然数。所以elim才是你口中全方位白痴。
|
|