宇宙真相(109):单凭完全归纳法不能证明N无限

宇宙真相(109):单凭数学完全归纳法不能证明自然数N无限作者:宇宙邪灵摘要:所有论证 , 必须要用到已知的定义(该定义为合逻辑的) 。 公理:没用到合逻辑定义的论证为伪证 。 证明自然数N无限(既无限个)必须要用到无限的定义 , 而无限的定义必须要以有限定义为已知条件 。 先定义有限(有限必有一个叫最后的元素) , 我用假设N有一个最后元素n , 又与n+1矛盾 。 否定了N有一个最后元素 , 才证明了 自然数N无限 。 关键词:完全归纳法;自然数定义;自然数N;有限与无限1 前言:自然数列 0,1,2,3,4,5,....人类一直感觉自然数列为无限(既无限个 , 下同) 。 问他们为什么?他们会回答:会一个一个无限的延拓 。 反对方说:不能引用“无限”这个概念 。 他们会回答:会一个一个的延拓 。 反对方说:不能用“延拓”偷换为“无限”这个概念 。 他们会回答:自然数n , 总会有一个后继续数n+1 。 反对方说:从 n到n+1 , 还是有限 , 你又用“总会”偷换为“无限”这个概念 。 2逻辑论证:定理:自然数N无限 。 定理符号:0,1,2,3,4,5,.... 或 1,2,3,4,5,....证明:由数学自然数定义得 , n后有个n+1 , 这样就完成了数学完全归纳法:从第一个0(或1)到n , 再到n+1 , 这样会无限下去 。 所以自然数个数无限 。 证毕!这个看似合逻辑的证明 , 用了自然数定义和数学完全归纳法原理 , 其实漏了一个重要的逻辑 。 无限的定义是什么?有限的定义是什么?你证明无限 , 没给出无限的定义 。 如果 有限的定义 包含 n及n+1 呢?所以上面论证为伪证 , 上面的论证有逻辑漏洞 。 严格的证明为:假设:自然数N有一个最后(最大)的自然数p 。 【见后面附1 。 有限的定义硬核:有一个最后的元素p 。 】由自然数定义得 , 必有一个 p+1 , 在p后 , 与“假设”矛盾 。 所以:自然数N没有一个最后(最大)的自然数p 。 证毕!此时才证明了自然数个数无限 。 上面证明用到了两个关健证据条件:(一)、自然数定义;(二)、有限的逻辑:有一个最后(最大)的p 。 用到了逻辑:否定了有限 , 才得到无限 。 3 定义 (附1):有限(有穷)元素的定义:从你认定的第一个元素a , 单列排列 , 再到(有)一个元素p , 你只讨论a到p , 则p是a到p的最后一个元素 。 简述:从第一个元素a , 元素依次排列 , 有一个你想终止的一个最后元素 。 有限(有穷)的定义的符号:a...p有限定义的硬核:从你认定的第一个元素a , 排列到了你认定的一个最后元素p 。 【注意:你从a开始再到了p , 不管你中间经过了多少元素 , 哪怕是天文数 , 你到了p , 得a到p中间的元素为有限个 。 你是依次经过了中间才到了p , 你能到达的所有元素都是有限 。 得 a到p之间为有限个元素 , 既a到p为有限 。 当你拿掉最后一个p , 又有倒数第二个元素q变为新的a...q , 因为你是依次各个元素经过q才到p 。 为什么规定单列排?为了保证有限:是防止无限个单列 , 因为无限个单列就是无限了 。 为了防了元素大小的扯皮 , 符号中的a和p属于序列号:第一个 , 最后一个 。 每个序列符号是有限元素 , 因为每个序列符号是不能分割为两个序列符号 , 你增加元素 , 只能增加序列号 。 在数轴上可以标识点为序列符号 , 点是不能分割的 。 所以每个序列号为有限元素 。 如:1 , 2 , 3 , 4 , 5 其中5为最后一个 , 当你增加一个最后元素k , 则k为最后一个;1 , 2 , 3 , 4 , 5 你减少其中的5 , 则4为最后一个 。 我用的第一个 , 最后一个 就是包含了序列号 。 】无限(无穷)元素定义:从第一个元素a开始 , 你设定程序:元素依次单列排列 , 不能结束 , 没有你愿意终止的元素(没有最后一个元素) 。 简述:从第一个元素a , 元素依次排列 , 没有一个叫最后一个元素无限(无穷)的定义的符号:a...无限定义的硬核:从你认定的第一个元素a , 排列到了你不能终止、没有一个叫最后元素 。 【注意:有限符号a...p中的省略号为有限个数 , 你拿掉p , 又有倒数第二个变为新数列的最后一个 , 属于写得完因为繁而省略;无限符号a...属于没最后一个元素、属于写不完用省略 。 】4总结:有限没义务回答你:有限有多少个元素 。 原因:见有限的定义 。 你没资格说:0到1中有无限个元素 。 见有限、无限的定义 。 你从0到1之间 , 不管你加多少元素 , 都属有限个 。 因为你有个前提0到1之间 。 你有资格说:从0之后可以无限 。 见有限、无限的定义 。 但不在0到1之间了 。 硬核:只有突破了所有界 , 没最后一个元素时 , 才叫无限 。 也就是:无限可以包含有限 , 有限不能包含无限 。 见有限、无限的定义 。 上面是数学拓朴原理 。


    推荐阅读