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

Акт различения или отождествления знаков не является некоторым первичным, неразложимым актом. Он действительно выражается на логическом уровне. Первичной интуицией является здесь пространство, поскольку именно в качестве определенной пространственной конфигурации всякий знак может быть узнан и отличен от другого.

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