Статья Курта Гёделя 1931 года доказывает принципиальную неполноту любой достаточно мощной и непротиворечивой математической системы. В такой системе всегда существуют истинные утверждения, которые невозможно доказать ее собственными средствами.
Мы используем файлы cookie для улучшения работы сайта. Оставаясь на сайте, вы соглашаетесь с условиями использования файлов cookies. Чтобы ознакомиться с Политикой обработки персональных данных и файлов cookie, нажмите здесь.