一、素数公式的代数式
由于1不是素数，2不是合数，除2之外，素数一定是存在于奇数之中，素数一定存在于代数式2n+1表示的数，n大于零自然数，奇合数可以用代数式[(2m1+1)(2m2+1) …… (2mn+1)]表示，m1、m2……为大于零的自然数，当2n+1≠[(2m1+1)(2m2+1) …… (2mn+1)]，2n+1必然是大于2的素数，解得:n≠[[(2m1+1)(2m2+1) ……(2mn+1)]-1]/2，所以大于2的素数=2n+1，其中n≠[[(2m1+1)(2m2+1) …… (2mn+1)]-1]/2并且n、m1、m2……是大于零自然数。
结论：大于2的素数=2n+1，其中n≠[[(2m1+1)(2m2+1)…… (2mn+1)]-1]/2并且n、m1、m2……是大于零自然数。
二、证明哥德巴赫猜想
由于n是大于零自然数，大于4的偶数必然可以写成两个奇数（2n+1）（n可以相等也可以不等）之和。令y=2n+1≠[(2m1+1)(2m2+1) …… (2mn+1)]，n、m1、m2……为大于零的自然数。大于4的偶数也必然可以写成两个（2n+1）或两个[(2m1+1)(2m2+1) …… (2mn+1)]或两者的组合，也就是说，这三种情况等价于两个奇数之和。素数（2n+1）和（2n+1）之和可以代替两个奇合数[(2m1+1)(2m2+1) …… (2mn+1)]之和，分析论证如下：
将奇合数[(2m1+1)(2m2+1)…… (2mn+1)]分解质因数到彻底并且记作N，所有的奇合数N必然是大于2的所有素数的乘积，素数=2n+1，其中n≠[[(2m1+1)(2m2+1) …… (2mn+1)]-1]/2并且n是大于零自然数，这样的两个N相加得到的偶数必然是：奇数倍的素数+奇数倍的素数=偶数倍的素数之和，这样的偶数和在n、m1、m2……是大于零自然数并且n、m1、m2……可以是趋于无穷大自然数的条件下，最简单的两个素数（素数=2n+1，其中n≠[[(2m1+1)(2m2+1) …… (2mn+1)]-1]/2并且n、m1、m2……是大于零自然数。）之和必然可以代替：“奇数倍的素数+奇数倍的素数=偶数倍的素数”之和类型的偶数，也就说，两个N相加得到的偶数必然可以用任意两个素数之和代替，即可以用2n+1中的两个素数代替，其中n≠[[(2m1+1)(2m2+1) …… (2mn+1)]-1]/2并且n、m1、m2……是大于零自然数，这样大于4的偶数也必然可以写成两个（2n+1）或两个[(2m1+1)(2m2+1) …… (2mn+1)]或两者的组合即转化为：大于4的偶数也必然可以写成两个素数（素数=2n+1，其中n≠[[(2m1+1)(2m2+1) …… (2mn+1)]-1]/2并且n、m1、m2……是大于零自然数。）之和。也就是说，在n、m1、m2……可以是趋于无穷大零自然数，大于4的偶数必然可以写成两个素数之和。由于等于4的偶数可以写成两个素数都是2之和，所以可以得出结论：大于2的任何偶数都可以写成两个素数之和，哥德巴赫猜想证明完毕。