Выдержка из книги
Иллингуора В.N.
Толковый словарь по вычислительным системам
Геделя о неполноте Две теоремы, доказанные Куртом Гс - делем в 1931 г. В одной из формулировок цервой георемы утверждается, что совокупность истинных утверждений арифметики не является рекурсивно перечислимой ( См. Вторая теорема о неполноте связана с программой Гильберта в области оснований математики.
