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

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

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