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