Статья 322

Еще А.А. Лузиным было построено множество, для которого в 70-х годах удалось доказать недоказуемость теории множеств, утверждения о том, что оно измеримо.
А. Пуанкаре, один из величайших мыслителей среди математиков веков предложил пересмотреть аксиоматику математики с тем, чтобы исключить подобные монстры. Но выяснилось, что причина появления существующих объектов, которые не могут быть построены, гораздо глубже.
Пример. Парадокс Института математики. Пусть институт математики взялся выявить оптимальные параметры некоторого процесса и после глубоких исследований выдал абсолютно точный ответ оптимальное значение 0, если не существует нечетное совершенное число, и если - наименьшее такое число. Нужно ли кому-нибудь это исчерпывающее решение.
Пример. Логическая переформулировка данного парадокса.