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

примечание 2)

Однако арифметический дискурс включает и именование иного рода, нежели обозначение протяженных конструкций с помощью чисел и числовых операций. Очень часто при формулировке каких-либо утверждений о числах пользуются буквенными обозначениями. В таком случае, вместо единичного объекта, который следовало бы предъявить при экспозиции, возникает знаковая конструкция, являющаяся именем того объекта, о котором идет речь. Здесь возникает несколько странных особенностей. С одной стороны знаковая конструкция в арифметике замещает не один, а множество подобных числовых объектов. Она носит общий характер, причем эту общность следует понимать не как общность абстракции, а как общность структуры. Если, например, вместо нечетного числа мы пишем '2n+1', то вводим принцип порождения всех объектов, соответствующих заданному общему понятию. С другой стороны, вводя имена, мы пользуемся ими и построенными из них выражениями как единичными объектами. Работая с именами, мы производим пространственно определенные конструкции, создаваемые воображением и представимые в созерцании. Сам способ введения этих имен полностью соответствует экспозиции в геометрической теореме. Так, сформулировав общее утверждение о свойствах целых чисел, мы, переходя к его доказательству, произносим: "Пусть n целое число, тогда" и т.д. Дальнейший дискурс вообще ничем не отличается от алгебраического. Однако при доказательстве алгебраической теоремы конструируется объект того же вида, что и любой другой, для которого справедлива теорема. Разумеется, вместо a0+a1 z+....+an zn можно написать b0+b1 x....