@毛桂成 吧主，有些帖不见，请高抬贵手。谢谢。

数学的本质就是逻辑推理，逻辑是严谨的自然是数学的灵魂！
若果数学可以违犯逻辑，那么宇宙的秩序性永远不会被人类发现。
事实上，人们崇拜数学，就是因为数学有着严谨的逻辑性！
但人性却不是这样，见到权威发话就低头哈腰，
见到身份低微的讲解真理就不屑一顾！
这就是可恶的人性吧！

同样一个不讲逻辑，不承认权威也有违犯逻辑事实不给予纠正的学者也是不称职的。
由此看来，其所谓的文章必然会大打折扣的，
因为其本身就允许违犯逻辑的事情存在。

证明（四） 我们试着用“反证法”证明以上“n与组数L是存在线性的正相关，就不存在量变引起质变的问题”，以及前面证明（一）中的“不失一般性”、证明（二）中的“无数学本质的区别”成立。
即假设证明（一）中的“不失一般性”不成立，那么，素数数列｛3、5、7、11、13、17、19、23……｝中元素两两相加就无法得到数列｛6、8、10、12、14、16、18、20……｝中所有元素；因此，证明（二）中的“无数学本质的区别”同样就不成立，并“n与组数L是存在线性的正相关，就不存在量变引起质变的问题”同样不成立，即“n与组数L不存在线性的正相关，就存在量变引起质变的问题”。
那么，就会出现“除去1个（或n个）冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少许元素”及“除去所有冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中大量元素”的情形（按正常概率分布）；而不是基于平时经验感知、及验算到3亿的已有成果感知的“除去所有冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少量元素”情形（按正常概率分布）。
以上由假设而得出的结论，显然是与已知结论矛盾的，因此该假设错误；证明（一）中的“不失一般性”、证明（二）中的“无数学本质的区别”等结论成立。
注意，数学是基于逻辑分析。在此“反证法”中，就不能错误的“基于平时经验感知、及验算到3亿的已有成果感知”而将“除去1个（或n个）冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少许元素”及“除去所有冗余数据间隔”就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中大量元素”的情形，变成“除去所有冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少量元素”情形。
即“不失一般性”、“无数学本质的区别”、“n与组数L是存在线性的正相关，就不存在量变引起质变的问题”是由定理1、定理2、定理3做为数学保证的。

注意，数学是基于逻辑分析。在此“反证法”中，就不能错误的“基于前面的证明结果、及验算到3亿的已有成果感知”而将“除去1个（或n个）冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少量元素”及“除去所有冗余数据间隔”就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中大量元素”，变成“除去所有冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少量元素”情形。
即若“不失一般性”不成立，数列｛3、5、7、11、13、17……｝就是一般的数列，数列｛3、5、7、9、11、13、15、17……｝中元素两两相加得到的偶数是非常不连续的。因此，不能一边假设素数数列｛3、5、7、11、13、17……｝的“不失一般性”不成立，一边又“基于前面的证明结果、及验算到3亿的已有成果感知”而认为“不失一般性”似乎又成立。即“不失一般性”、“无数学本质的区别”、“n与组数L是存在线性的正相关，就不存在量变引起质变的问题”是由定理1、定理2、定理3做为数学保证的。

即若“不失一般性”不成立，数列｛3、5、7、11、13、17……｝就是一般的数列，数列｛3、5、7、9、11、13、15、17……｝中元素两两相加得到的偶数是不连续的。因此，不能一边假设素数数列｛3、5、7、11、13、17……｝的“不失一般性”不成立，一边又“基于前面的证明结果、及验算到3亿的已有成果感知”而假设得出“不失一般性”接近成立的“除去所有冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少量元素”情形。

即若“不失一般性”不成立，数列｛3、5、7、11、13、17……｝就是一般的数列，数列｛3、5、7、9、11、13、15、17……｝中元素两两相加得到的偶数是不连续的。因此，不能一边假设素数数列｛3、5、7、11、13、17……｝的“不失一般性”不成立，一边又“基于前面的证明结果、及验算到3亿的已有成果感知”、又非常逼近“不失一般性”成立、假设“除去所有冗余数据间隔就会出现数列｛3、5、7、9、11、13、15、17……｝中元素两两相加，总是无法得到数列｛6、8、10、12、14、16、18、20……｝中少量元素”情形。就是说不能一边假设素数数列｛3、5、7、11、13、17……｝的“不失一般性”不成立，一边又假设“素数数列｛3、5、7、9、11、13、15、17……｝中只需要增加一个或几个奇合数，就能做到元素两两相加得到数列｛6、8、10、12、14、16、18、20……｝中所有元素”的情形。
即“不失一般性”、“无数学本质的区别”、“n与组数L是存在线性的正相关，就不存在量变引起质变的问题”是由定理1、定理2、定理3为数学保证。

即“不失一般性”、“无数学本质的区别”、“n与组数L是存在线性的正相关，就不存在量变引起质变的问题”是由定理1、定理2、定理3为数学保证。同样，素数数列｛2、3、5、7、9、11、13、15、17……｝是一个特殊数列，在证明哥德巴赫猜想过程中，若不讨论素数数列、极其有无“不失一般性”等特性，就是无视定理1、定理2、定理3在证明中的应用；那么，这些证明过程就显得很无力。