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

Отрезок - это то, что их разделяет, т.е. лежит между ними. Однако с этим "между" еще не связано никакого синтеза. Можно удовлетвориться первым постулатом Евклида, чтобы удостовериться в обоснованности нашего действия, но этого недостаточно, чтобы связать построенный предмет с каким-либо понятием. В частности у нас пока отсутствует критерий для опознания прямой, т.е. для обнаружения ее отличия от любой другой линии, соединяющей две точки. Чтобы изучить структуру прямой, нам нужно исследовать различные лежащие на ней точечные конфигурации. Именно это, между прочим, было сделано при попытках исследовать геометрию прямой линии и построить аксиоматику прямой. Вариант такой аксиоматики, а также историю проблемы можно найти книгах [25] и [26].

Первое действие, которое должно быть произведено, состоит, следовательно, в делении отрезка на две части. Ясно, что, строя новые точки на отрезке прямой, мы можем связывать с этими точками определенные суждения. Более того, по поводу выстраиваемых точечных конструкций должен быть развернут доказательный дискурс, содержащий те же самые части, которые были рассмотрены нами ранее, при изучении структуры античной теоремы. Но всякая новая точка, появляющаяся на отрезке, будет появляться между двумя ранее построенными точками. Этот акт несколько отличен от тех, которые мы обсуждали. Это не есть актуализация следа - происходит новое построение, в результате которого возникает не существовавший ранее объект.