That is, for any computably enumerable set of axioms for arithmetic (that is, a set that can in principle be printed out by an idealized computer with unlimited resources), there is a formula that is true of arithmetic, but which is not provable in that system.
Тоа е, за секој пресметливо преброива група на аксиоми за аритметика (т.е. група што во принцип може да се отпечати од идеализиран компјутер со неограничени ресурси), постои формула што важи за аритметиката, но која не може да се докаже во рамките на тој систем.