Онтология математического дискурса   ::   Гутнер Г Б

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

Все сказанное позволяет дополнить приведенное ранее определение существования. Математический объект существует постольку, поскольку сконструирован. Однако математика не есть простое конструирование объектов. Она представляет собой решение задач, а потому каждый объект появляется в ней в рамках более общей структуры, продуцируемой познавательными способностями для того, чтобы получить такое решение. Значит объект существует, поскольку встроен в такую структуру в виде ее элемента. Сама структура предстает как конструкция способности воображения и о ней также может быть поставлен вопрос - в рамках какой еще более общей структуры она существует. Разум не может представить, как налично реализованную, совокупность структур, последовательно включенных друг в друга в виде бесконечной конструкции. Поэтому вопрос о существовании требует для своего полного разрешения введения регулятивных понятий. В математике поэтому неизбежны представления о бесконечных совокупностях, в рамках которых существуют частные математические объекты.