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

безотносительно каких-либо единичностей, однако возможность работы с ними исоставляет его реальный смысл. Любой, включенный в рассуждение индивидуальный предмет получает в ходе его полную определенность (ясность онтологического статуса) в силу его отличимости от любого другого предмета, указанного каким-либо иным способом. Итак, о каком-либо предмете можно сказать, что он существует, если приведена конечная схема, которая, будучи применена к указанному вполне определенному объекту (или конечному набору объектов), приводит к построению рассматриваемого предмета. Тот факт, что схема, на которую мы ссылались в нашем примере, содержала построение бесконечной последовательности, еще не нарушает конструктивности определения существования. Предел последовательности есть вполне определенный объект, построение которого, при заданной сходящейся последовательности, вовсе не требует таких запредельных абстракций, как актуальное предъявление всей бесконечной последовательности. Выяснить, например, что последовательность xn = 1/2n сходится к 0, можно с помощью легко завершаемой процедуры. Последнее верно, конечно, не для любой последовательности. Но в разобранном нами примере такую последовательность указать можно. (Например, если задать отображение, которое каждой точке отрезка будет ставить в соответствие точку, расположенную в два раза ближе к фиксированному концу отрезка.) Но именно эта возможность и важна для определения существования в конструктивном смысле.