|
由\(\forall n\in\mathbb{N}(n+1>n)\) ①知自然数子集\(S=\{m\in\mathbb{N}:m非\mathbb{N}的上界\}\)满足准则\((0\in S ) \land((n\in S) \implies(n+1\in S)\)② 据皮亚诺公理第5条S=\(\mathbb{N}\),③于是知道\(\mathbb{N}\)的上界\(lim n\)不属于皮亚诺公理确立的自然数集合\(\mathbb{N}\)..
【评注】自然数皆对0的有限次后继操作的结果\(\displaystyle\lim_{n \to \infty}n\)不是任何有限后继操作的结果.
\(\color{red}{【剖析】}\)②式\(S=\{m\in\mathbb{N}:m非\mathbb{N}的上界\}\)为有限自然数的集合,因此elim得到的归纳集S不是自然数集\(\mathbb{N}\)(即\(S\subset\mathbb{N}\)),所以结论【\(\mathbb{N}\)的上界\(lim n\)不属于皮亚诺公理确立的自然数集合\(\mathbb{N}\).】及【自然数皆对0的有限次后继操作的结果】皆不正确总体上看elim先生的证明任是循环论证! |
|