希尔伯特第八问题有望终结：孪生素数猜想获证！(17)

由此可得（p4-p2）=2w-2也必有无穷组，将这个运算迭代运行下去，必将得到（p4-p2）=2也有无穷组。于是孪生素数猜想获证。以上也同时证明了2n中所有定值2w作为素数间隔的素数对都各有无穷组，而这正是波利尼亚克猜想。
2.2. 在张益唐的所证基础上证明强孪生素数猜想
2013年5月，张益唐证明了“差值在7000 万内的素数对存在无穷组”。在此基础上可证明强孪生素数猜想成立。后来进展到间隔246内的素数也有无穷组，但出现了解析数论致命性瓶颈“奇偶性问题”，无法继续完成证明强孪生素数猜想，于是就有人气馁地认为，根据哥德尔的不完备性定理，强孪生素数猜想是无法证明也无法证伪的，但在中观逻辑⑤看来，可以对公理进行开放性理解，一定可逆流而上完成最后证明。

根据鸽笼原理，必有差值在7000万数域内的某一定值的素数对有无穷组，假如这个“至少有一个”的中标鸽笼差值数是 66666666，如果不是，没有关系，至少在该有限数域范围内能枚举一个；于是我们就可以理直气壮地宣布，差值等于 66666666 的素数对有无穷组，如果不是，那么我们改口宣布，差值等于 666 的素数对有无穷组。好了，有了这个判定，我们来继续推演。
根据递归原理，在哥德巴赫猜想成立的基础上得到素数对差值的差值公式，据此公式可进行递归求证。因为有哥德巴赫猜想两素数定理： p1 p2=2n 还因为相邻偶数的差值等于2，所以有：
（p3 p4）-（p1 p2）=2 代数变换可得到：（p3-p1）-（p2-p4）=2，因此我们得到素数对差值的差值等于 2 的判定公式，在此基础上就可以进行递归推理了。 已知差值等于 666 的素数对存在无穷组，那么可得知与之匹配的素数对也有无穷组。
据（p3-p1）-（p2-p4）=2； 当 （p3-p1）=666 有无穷组时；则 （p2-p4）=664 有无穷组；当 （p3-p1）=664 有无穷组时；可递归得到（p2-p4）=662 有无穷组； ……， 反复进行，必可得到：当 （p3-p1）=4 有无穷组时；可递归得到（p2-p4）=2 有无穷组；而此时的无穷素数对（p2-p4）就是孪生素数，到此，孪生素数的无穷性就得到了证明。