Более известная теорема о неполноте утверждает, что для любой самосогласованной рекурсивной аксиоматической системы, достаточно мощной, чтобы описывать арифметику натуральных чисел (арифметика Пеано), существуют истинные утверждения о натуральных числах, которые не могут быть доказаны с помощью аксиом.
Более известная теорема о неполноте гласит, что для любой самосогласованной рекурсивной аксиоматической системы, достаточно мощной для описания арифметики натуральных чисел (арифметики Пеано), существуют истинные утверждения о натуральных числах, которые нельзя доказать с помощью аксиом.