我用数集合论的方法证明哥德巴赫猜想的要点（修改稿）

雷明85639720

我用数集合论的方法证明哥德巴赫猜想的要点（修改稿）
雷  明
（二○二一年元月二十六日）

1、把无穷的偶数都写成是两个素数的和是不可能办到的！永远也写不完。
2、但把无穷的奇素数两两相加，包括自身相加的一次在内，得到的和却都是偶数，且都是大于等于6的（因为奇素数最小的一个是3，3+3=6）。这也是无可挑剔的。
3、任何一个奇素数与其他所有奇素数都相加一次，也包括自身相加的一次在内，得到的都是一个可数集合，这也是没有问题的。总共可得到可数个可数集合也是没错的！因为素数本身就是有无穷多个的可数集合。
4、可数集合与自然数集合是等势的，也都是可数集合。
5、可数个可数集合的并仍是可数集合。
6、这些可数集合的并中的元素都是偶数，且都是大于等于6的，因为奇素数最小的是3，3+3=6。这就是大于等于6的所有偶数的集合。
7、而“任何大于等于6的偶数都是两个奇素数的和”与其逆命题“任何两个奇素数相加的结果都是大于等于6的偶数”是互逆的命题，但“任何大于等于6的偶数都是两个奇素数的和”是否是真，却与“任何两个奇素数相加的结果都是大于等于6的偶数”的真假没有直接的关系；只能考虑“任何大于等于6的偶数都是两个奇素数的和”的逆否命题是真是假，才能决定“任何大于等于6的偶数都是两个奇素数的和”这个原命题是否是真。
8、“任何大于等于6的偶数都是两个奇素数的和”的逆否命题是“任何两个非奇素数的和都是小于6的偶数”。证明：因为偶素数只有唯一的一个2，2+2=4，是小于6的，这个逆否命题是真。因为原命题与其逆否命题的真假性是相同的，所以“任何大于等于6的偶数都是两个奇素数的和”的原命题是真的，是成立的。这也就证明了上述的并集就是大于等于６的所有偶数的集合。证毕。
9、唯一的偶素数2自身相加的结果是4，由只有一个元素——偶数4——构成的有限集合{4}与上面得到的是属于可数集合的“大于等于6的所有偶数的集合”的并仍是一个可数集合，这就是“大于等于4的所有偶数的集合”，因为该集合中的每一个元素都是由两个素数相加得来的，所以也就得到了“任何两个素数相加的结果都是大于等于4的偶数”的结论。
10、既然“任何两个素数相加的结果都是大于等于4的偶数”的结论是真的，那么其逆否命题“任可大于等于4的偶数都是两个素数的和”的命题也就应该是真的，是正确的。


雷  明
二○二一年元月二十六日于长安

注：此文已于二○二一年元月二十六日在《中国博士网》上发表过，网址是：

雷明85639720

，，，，，，，，

wangyangke

雷明、鲁思顺，程中战在哥德巴赫猜想方面的层次——

雷明垫底；雷明，一个叙述不清楚哥猜的人，说他的哥猜证明没有错误还不行，非得要说他证明了哥猜；
鲁思顺坐——座中；有三愚蠢四无知之美实；
程中战居上，言语随意，有啥说啥；虽不足和不全面或者坠为错误，倒也不失奇妙。

雷明85639720

，，，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，，

雷明85639720

，，，，，，，

雷明85639720

，，，，，，，，