Этот парадокс, известный как «теория неопределимости» или «теорема Гёделя», была открыта в 1931 году немецким математиком Куртом Гёделем. Согласно этой теореме, в любой арифметической системе, такой как математика с целыми числами, всегда существуют предложения, которые можно выразить в терминах этой системы, но невозможно доказать или опровергнуть. Это означает, что внутри математической системы может быть бесконечное число неизвестных истинных утверждений, которые не могут быть доказаны или опровергнуты с помощью системы.
Hide player controls
Hide resume playing