Брошюра посвящена одному из наиболее замечательных достижений математической логики --- теореме Гёделя о неполноте формальной арифметики. В ней излагается доказательство теоремы Гёделя, опирающееся на теорию алгоритмов. Брошюра рассчитана на школьников старших классов, студентов младших курсов и, вообше, всех интересующихся логическими проблемами математики.