任一偶数都不能被其内所有奇素数整除，2N–Pa

哥德巴赫猜想的七层逻辑本质
素数互素、
因数分解的唯一性、
任一偶数都不能被其内所有奇素数整除、
2n不能被2N其内所有素数整除、
Pa＋2n中必有素数的情形、
哥德巴赫猜想成立。
它们之间逻辑顺序是一一对应的。
7层数学逻辑，现代数论之前只到第2层。

任一偶数都不能被其内所有奇素数整除，依据因数分解的唯一性，只要有一个2N的“2N－Pa”中有素数，那就任一2N对应的“2N－Pa”中都必有素数。
并2N越大、其内素数就越多，2N不能被其内奇素数整除的奇素数数量就越多(对应的S'非零比率越小)，必然决定2N对应的2N－Pa中有更多的素数。
因此，任一偶数不能被其内所有奇素数整除，决定哥德巴赫猜想成立。