Анотація: Рассматриваются причины возникновения сформулированного Геделем понятия неполноты для формализованных языков и естественного языка и обсуждаются некоторые пути решения проблемы выводимости истинных утверждений в выразительных формализмах. Определяется значение данной проблемы для построения систем распознавания образов.