Теорема об неполноте Гёделя доказала, что в любой системе существуют истинные утверждения, которые невозможно доказать.

Курт Гёдель, австрийский логик и математик, доказал свою теорему о неполноте в 1931 году, опубликовав революционную работу, которая потрясла основы математики. Он показал, что в любой непротиворечивой формальной системе, достаточно сложной для описания арифметики натуральных чисел, существуют истинные высказывания, которые нельзя ни доказать, ни опровергнуть внутри этой системы. Это означало, что математика не является полной и замкнутой — её основания содержат фундаментальные пробелы. Значение этого результата выходит далеко за границы чистой математики. Теорема о неполноте показала, что любая формальная система аксиом имеет ограничения: никакой набор аксиом не может одновременно быть полным (охватывать все истины) и непротиворечивым (не содержать противоречий). Это имеет глубокие философские следствия для теории познания, информатики и искусственного интеллекта. Компьютерные программы, построенные на формальных системах, также сталкиваются с принципиальными ограничениями Гёделя. Само доказательство опирается на остроумный парадокс самоссылки, похожий на классический парадокс лжеца («это высказывание ложно»). Гёдель сконструировал высказывание, которое по сути утверждает о себе: «я не доказуемо в этой системе». Если система полна, она должна доказать это высказывание, но тогда оно окажется ложным — противоречие. Если высказывание истинно, но недоказуемо, система остаётся непротиворечивой, но неполной.