Полностю она называется "Теорема Геделя о неполноте".
Верно говорят.

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

Почитай тут. Лучшего объяснения этой теоремы не найти.

Я сегодня утром читал журнал "В мире науки" и набрел на эту статью. Говорят, что эта теарема применима не только для теории множест но и к любой науке основанной на аксиоматике. :) Одним словом, время от времени любая наука потребует введения новых аксиом.

LI 5.09.15

Чё-то по-моему шняга какая-то. Неужели это признано официально?

The_Searcher, да вполне. Читал про это сегодня в журнале "В мире науки". Начал ходить по поисковикам набрел на статью Куда движется математика?, в которой говориться о кризисах в математике.

LI 5.09.15

Кризис математики не в самой математике, а в том, что на все фундаментальные науки нынче закрыты глаза - такая вот теория множеств, господа...

Исходное сообщение Cherry_LG: Кризис математики не в самой математике, а в том, что на все фундаментальные науки нынче закрыты глаза - такая вот теория множеств, господа...

Ну да, именно в этом и есть наиболее взрывной материал этой теоремы. Что любая наука, должна время от времени сталкиваться с вопросами, которые она не может решить в рамках этой науки.

LI 5.09.15