第一种证明方法。

及其形式化证明方法。

第二种证明方法。

及其形式化证明方法。

2与大于2的偶数，在与对应之内的素数是否都整除上，存在本质区别，才是证明哥德巴赫猜想的数学本质一般化方法。
现在才明白以前对哥德巴赫猜想的证明都是基于素数规律的唯像证明。
因此，大于2的偶数都不能被之内素数都整除就能与无穷递进乘积级数(欧拉乘积级数)永大于零形成一一对应逻辑，就得到第二种形式化证明哥德巴赫猜想成立的数学方法，并以此就能推导出孪生素数猜想成立。

大于2的偶数都不能被之内所有素数都整除，是哥德巴赫猜想的数学本质。因此，与素数是否随机分布无关。
而通过素数的规律得出所有奇素数两两相加能取到所有大于2的偶数，是唯像证明。因此，须找到素数分布规律，籍此完成证明哥德巴赫猜想。