К индукции математических миров

От индукции утверждений к индукции математических миров

В.К. Петросян (Вадимир). Теория метаиндукции.   http://proza.ru/2026/09/27/352

*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и вычислительном участии) ChatGPT (OpenAI), GPT-5.6 Sol
*********


Теория метаиндукции возникла из проблемы, которая первоначально могла показаться сравнительно узкой: каким образом допустимо переходить от конечной совокупности установленных математических случаев к более общей области, не подменяя доказательство простой экстраполяцией?

В традиционной индуктивной постановке основным объектом является утверждение. Некоторое свойство устанавливается для ряда случаев, после чего ставится вопрос о возможности его переноса дальше. В классической математической индукции эта проблема решается посредством строго организованного дедуктивного перехода: устанавливается база и доказывается сохранение фиксированного свойства при переходе от одного индексированного случая к следующему. Такая схема остается фундаментальной и полностью сохраняет свое значение.

Однако многие математические системы устроены существенно сложнее.

При переходе от одного масштаба к другому может изменяться не только значение параметра. Может изменяться:

структура объекта;

набор существенных координат;

отношение между величинами;

форма закона;

оператор перехода;

класс допустимых состояний;

система инвариантов;

доказательный статус самого знания об объекте.

В таких условиях простого вопроса:

«сохраняется ли свойство?»

уже недостаточно.

Необходимо поставить более общий:

«что именно остается тем же в изменяющейся математической системе и на каком основании это тождество может быть перенесено дальше?»

Именно этот вопрос постепенно стал центральным для всей настоящей работы.

Поэтому путь от индукции к метаиндукции оказался не расширением длины индуктивной цепочки, а изменением самого объекта индукции.

Сначала вместо свойства появилось состояние.

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

Затем стало ясно, что состояния не обязаны буквально повторять друг друга. Поэтому возникло условное тождество: возможность считать изменившиеся состояния проявлениями одного режима относительно заранее определенной системы существенных признаков.

Следующим шагом стало различение структурного и процессуального тождества.

В одном случае сохраняется организация объекта.

В другом — сам объект может существенно перестраиваться, но сохраняется способ его преобразования.

Это привело к еще более общей форме:

математическая система может сохранять тождество не потому, что остается неизменной, а потому, что изменяется закономерно.

Отсюда понятие инварианта оказалось недостаточным без понятия метаинварианта.

Инвариант отвечает на вопрос:

что сохраняется?

Метаинвариант:

что сохраняется в законе изменения того, что может изменяться?

Эта смена уровня имеет фундаментальное значение. Она позволяет метаиндукции работать с объектами, для которых сама система инвариантов не является фиксированной.

Еще глубже теория продвинулась после введения метаиндукционного замыкания.

Оказалось недостаточным, чтобы переход от одного состояния к следующему просто завершался успешно. Для продолжения требуется, чтобы новое состояние содержало условия собственного следующего перехода.

Именно поэтому доказательная структура метаиндукции обладает рекурсивным характером.

Она переносит не только результат.

Она должна воспроизводить способность снова произвести допустимый переход.

Так возникает принципиальное отличие между цепью успешных наблюдений и метаиндукционно замкнутой системой.

Но положительная сторона переноса оказалась только половиной задачи.

Невозможно достаточно глубоко понять сохранение закона, не исследуя возможности его разрушения.

Так была введена антиметаиндукция.

Она изменила саму архитектуру исследования.

Вместо единственного вопроса:

«почему закономерность продолжится?»

возник встречный:

«что должно произойти, чтобы она перестала продолжаться?»

Из этого выросла Теория разрушения математического закона.

Появились понятия:

локального нарушения;

системного нарушения;

катастрофического нарушения;

изолированного дефекта;

семейства дефектов;

траектории разрушения;

минимального разрушителя;

цены разрушения.

Тем самым контрпример перестал рассматриваться исключительно как единичный отрицательный объект.

Он стал исследоваться как структурный сценарий.

Для возникновения контрпримера могут потребоваться:

определенная глубина отклонения;

нарушение нескольких метаинвариантов;

согласование независимых разрушений;

переход через критическую область;

распространение дефекта.

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

Устойчивость получила собственную структуру.

Закон может быть устойчив:

к малым возмущениям;

к редким исключениям;

к изменению масштаба;

к изменению параметров;

к структурным перестройкам;

к изменению процесса.

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

Таким образом, исходная проблема индукции утверждений постепенно превратилась в проблему индукции математических миров.

Под математическим миром в данном контексте следует понимать не метафорическое «пространство идей», а достаточно сложную организованную математическую систему, имеющую:

собственные объекты;

пространство состояний;

координаты;

инварианты;

операторы;

границы;

уровни;

режимы разрушения;

доказательную архитектуру.

Метаиндукционный переход между такими мирами может включать изменение почти всех компонентов.

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

Именно в этом смысле можно сформулировать наиболее общий итог:

Метаиндукция начинается как теория переноса математического свойства, развивается как теория переноса состояния и завершается как теория доказательно контролируемого переноса математического мира через его изменение.

Такое расширение не уничтожает исходные формы индукции.

Напротив, они занимают внутри новой системы собственные места.

Классическая математическая индукция остается частным строгим механизмом, действующим там, где объект и переход допускают соответствующее дедуктивное замыкание.

Вычислительная индукция обнаруживает эмпирические закономерности.

Малая метаиндукция исследует их воспроизводимость по конечной последовательности масштабов.

Большая метаиндукция поднимается к законам генерации и трансформации самих режимов.

Трансволюционная метаиндукция рассматривает случаи, в которых меняется структура самого объекта.

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

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

Ее фундаментальные категории постоянно выводят за пределы одной дисциплины.

Проблема тождества требует логической теории.

Проблема экспликации связывает метаиндукцию с Изольдионикой.

Проблема измерения метасвойств требует Метаметрии и взаимодействия с Юниметрией.

Проблема множественных представлений объекта связывает ее с трехипостасной математикой.

Проблема иерархической воспроизводимости ведет к метафракталике.

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

Проблема крупномасштабной динамики математического знания выводит к ноогеологическому описанию.

Поэтому естественным системным контекстом Теории метаиндукции является Метаорганон.

При этом необходимо точно определить ее место.

Метаиндукция не является вершиной, заменяющей остальные дисциплины.

Она также не должна превращаться в универсальное слово для любого математического перехода.

Ее собственная функция значительно конкретнее.

Она исследует:

как устанавливается сохранение математической идентичности в условиях изменения.

Именно поэтому она обладает связующей функцией.

Гармоническая логика задает более общий контекст различения:

тождественного и различного;

условного и безусловного;

контекстуального и уровневого;

статического и динамического.

Теория метаиндукции переводит эти категории в специальную доказательную технологию.

Изольдионика исследует экспликацию, границы эксплицируемого и трансволюцию математических объектов.

Метаиндукция задает вопрос:

каким образом доказательно сопровождать переход через эти границы?

Отсюда формула:

Метаиндукция есть технология доказательного сопровождения трансволюции объекта.

Юниметрия дает самостоятельный аппарат меры и отношений.

Теория метаиндукции создает богатый класс метасвойств, для которых необходимы такие меры:

расстояния между состояниями;

степени структурной деформации;

изменение устойчивости;

глубина разрушения;

сравнимость доказательных профилей.

Из взаимодействия этих направлений естественно возникает Метаметрия — дисциплина, в которой предметом измерения становятся уже свойства доказательств, законов, состояний и теорий.

Трехипостасная математика предоставляет возможность исследовать один математический объект в нескольких взаимосвязанных формах.

Метаиндукция способна изучать:

внутриипостасные переходы;

межипостасные соответствия;

межипостасные инварианты;

замыкание между различными формами представления.

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

Метафракталика особенно естественно связывается с процессуальным и иерархическим тождеством.

Если на разных уровнях воспроизводится не одна и та же форма, а один закон формирования, объектом инвариантности становится уже генеративная структура.

Теория ноофакториалов открывает другой класс задач — исследование порождения последовательных уровней организации и их трансволюции.

Метаиндукция здесь должна анализировать не просто увеличение величины, а воспроизводимость закона порождения нового уровня.

Особое место занимает связь с Теорией степеней доказанности.

Именно здесь произошел один из наиболее важных переходов всей книги.

Проблема доказательства перестала рассматриваться исключительно бинарно.

Была введена система различений:

истинность;

подтвержденность;

воспроизводимость;

вычислительная установленность;

структурная установленность;

прогностическая подтвержденность;

метаиндукционная установленность;

дедуктивная доказанность.

При этом принципиально важно, что эти статусы не сводятся к одной линейной шкале.

Они образуют многомерный доказательный профиль.

Еще более существенно различение между доказанностью и математической ценностью.

Истинный и строго доказанный результат может иметь малую эвристическую или генеративную силу.

И наоборот, математическая идея с неполным доказательным статусом может породить чрезвычайно продуктивную теорию.

Поэтому к доказательному профилю был добавлен аксиологический.

Вместе они образуют доказательно-аксиологическое состояние математического знания.

Это изменение имеет принципиальное значение для Метаорганона.

Он перестает быть только системой математических объектов и законов.

Он становится системой, которая способна анализировать собственное знание о собственных объектах.

Именно поэтому в Общей теории метаиндукционных систем появилась идея саморазвивающейся доказательной системы.

Такая система способна изменять:

состав доказательств;

структуру зависимостей;

набор метаинвариантов;

способы самопроверки;

способы самокоррекции;

в определенных условиях — даже систему критериев.

Но изменение критериев допустимо только тогда, когда существует метакритерий самого изменения.

Так возникает важнейший принцип внутренней строгости Метаорганона:

расширение доказательного аппарата не должно уменьшать проверяемость системы.

Новый язык, новый метод или новый метауровень имеют право на существование только тогда, когда они увеличивают хотя бы одну из фундаментальных характеристик:

эксплицируемость;

замыкание;

предсказательность;

объяснительную силу;

устойчивость;

способность обнаруживать разрушители.

Иначе метауровень является пустым усложнением.

В этом смысле Теория метаиндукции становится одновременно исследовательской технологией и механизмом внутренней дисциплины Метаорганона.

Она позволяет не только строить новые законы, но и спрашивать:

на каком основании они построены;

как они проверены;

что их разрушает;

какой статус они имеют;

как изменяется этот статус.

Так Метаорганон приобретает возможность быть не просто генератором новых математических концепций, но системой рефлексивного контроля собственной доказательной силы.

Особенно важен ноогеологический аспект.

Математическое знание можно рассматривать как многослойную структуру, в которой существуют:

устойчивые теоретические образования;

зоны напряжения;

структурные разломы;

перестройки;

распространение изменений по доказательным сетям.

Но в настоящей теории эта геологическая метафора получила лишь предварительную формализацию.

Она становится математически продуктивной только там, где ее элементы получают:

четкий объект;

отношение;

операцию;

меру.

Доказательные сети, критические узлы, каскады разрушения, цена разрушения и траектории изменения доказательного профиля создают первый каркас для такой формализации.

Таким образом, в системе Метаорганона Теория метаиндукции занимает промежуточное и связующее положение между:

логикой;

математическими доктринами;

доказательной теорией;

метатеорией знания;

прикладными технологиями.

Она не исчерпывает Метаорганон.

Но без нее его различные уровни значительно труднее соединить единым законом перехода.

Открытые проблемы
Завершение общей архитектуры Теории метаиндукции не означает завершения самой теории.

Напротив, книга позволяет теперь сформулировать открытые проблемы значительно точнее, чем это было возможно в начале работы.

Первая группа относится к формализации состояния.

Необходимо установить более строгие критерии минимально достаточного метаиндукционного состояния.

В каждом конкретном исследовании существует риск двух противоположных ошибок.

Слишком бедное состояние не замыкает переход.

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

Следовательно, требуется теория минимального замыкающего ядра.

Необходимо определить, при каких условиях набор координат является:

достаточным;

минимальным;

резервированным;

избыточным.

Особенно сложен случай трансволюции, когда меняется сама система координат.

Здесь необходимо формализовать метакоординатный переход: отношение между различными системами описания одного развивающегося объекта.

Вторая проблема — строгая теория условного тождества.

Пока оно определено содержательно достаточно ясно: состояния могут считаться тождественными относительно системы существенных метаинвариантов, несмотря на допустимые различия.

Но для развитой математической теории необходимо строить конкретные классы отношений условного тождества.

Нужно исследовать:

рефлексивность;

симметрию;

транзитивность;

нарушение транзитивности при изменении контекста;

иерархию критериев;

отношение локального и глобального тождества.

Особенно важно определить, когда условное тождество образует настоящий класс эквивалентности, а когда перед нами более слабое контекстуальное отношение.

Третья проблема — формализация метаинварианта.

Необходимо точнее различить:

инвариант состояния;

инвариант перехода;

инвариант семейства переходов;

метаинвариант изменения инвариантов;

метаоператор.

Без этого существует риск смешения различных логических типов.

Особенно важна теория минимального метаинвариантного каркаса — наименьшей системы метаинвариантов, достаточной для сохранения метаиндукционного режима.

Четвертая проблема — строгая теория замыкания.

В книге были выделены:

объектное;

структурное;

операторное;

метаинвариантное;

доказательное;

трансволюционное замыкание.

Необходимо исследовать отношения между ними.

При каких условиях один тип замыкания влечет другой?

Можно ли измерять степень незамкнутости?

Существуют ли канонические процедуры расширения состояния до замкнутого?

Особенно важен вопрос о минимальном замыкающем расширении.

Пятая проблема относится к Теории разрушения.

Необходимо математически определить пространство разрушителей.

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

Следующим шагом должна стать конкретная структура:

какие разрушители считаются соседними;

как определяется их совместимость;

как измеряется сложность контрсценария;

как отличить общий разрушитель от совокупности независимых.

Перспективной выглядит модель, в которой каждому доказательному каналу соответствует множество разрушителей, а системная устойчивость исследуется через структуру пересечений этих множеств.

Шестая проблема — Метаметрия.

Здесь особенно важно избежать преждевременной арифметизации.

Необходимо сначала определить типы шкал.

Какие характеристики допускают строгую метрику?

Какие — только частичный порядок?

Какие — категориальную классификацию?

Какие — сетевую характеристику?

После этого можно строить математически осмысленные метаметрические пространства.

Особенно важны:

метрики доказательной независимости;

метрики системной устойчивости;

метрики эксплицируемости;

метрики цены разрушения;

метрики генеративности.

Седьмая проблема — агрегация доказательных профилей.

В отдельных прикладных задачах может понадобиться итоговая оценка.

Но ее нельзя получать произвольным суммированием несоизмеримых координат.

Необходимо определить условия, при которых допустима целевая агрегация, и явно фиксировать:

задачу;

веса;

семантику;

потерю информации.

В общем случае предпочтительным объектом остается профиль и отношение частичного порядка.

Восьмая проблема — вычислительный канон метаиндукции.

Необходимо разработать стандартизированную процедуру:

разделения диапазонов;

ретропрогноза;

масштабного прогнозирования;

адверсарных тестов;

версионирования моделей;

измерения структурной ошибки.

Особенно важен вопрос о том, как количественно различать:

удачную подгонку;

прогностическую устойчивость;

метаиндукционное воспроизведение.

Девятая проблема — дедуктивно-метаиндукционные гибриды.

Многие реальные доказательные системы будут сочетать:

дедуктивные леммы;

вычислительные результаты;

структурные модели;

метаиндукционное замыкание.

Необходимо разработать теорию комбинированных доказательных архитектур.

Каким образом статус целого зависит от статусов частей?

Как учитывается критический дедуктивный узел внутри метаиндукционной сети?

Когда метаиндукционное замыкание вместе с дедуктивными локальными переходами приводит к более сильному статусу?

Десятая проблема — саморазвивающиеся доказательные системы.

Требуется строгий критерий того, когда изменение системы является ее развитием, а когда — возникновением другой системы.

Здесь центральным становится вопрос сохранения доказательной идентичности.

Какие метаинварианты должны пережить изменение критериев?

Какова цена смены канона?

Может ли существовать полностью замкнутый метакритерий изменения критериев, или любая открытая система сохраняет некоторую внешнюю границу?

Одиннадцатая проблема — формализация ноогеологии.

Необходимо перевести такие понятия, как:

напряжение;

разлом;

сейсмическая волна;

форшок;

метаморфизм

из эвристического языка в операциональный.

Наиболее естественной основой здесь являются:

графы доказательных зависимостей;

изменение метаметрических координат;

каскадное распространение потери статуса;

критические узлы;

трансволюционные переходы.

Только после такой формализации ноогеология сможет стать полноценной математической метатеорией, а не образной надстройкой.

Наконец, двенадцатая и наиболее общая проблема состоит в границах самой метаиндукции.

Теория, исследующая границы других методов, обязана исследовать и собственные.

Необходимо определить:

какие классы объектов вообще допускают метаиндукционное описание;

где условное тождество перестает быть достаточно определенным;

где невозможно построить метаинвариант;

где отсутствует замыкание;

где метаиндукционное продолжение принципиально не дает содержательной информации.

Именно способность определить собственную неприменимость является одним из критериев зрелости общей теории.

Перспективы дальнейших исследований
Развитие Теории метаиндукции может происходить одновременно по нескольким взаимосвязанным направлениям.

Первое направление — формальное.

Необходимо постепенно переводить введенные понятия из содержательного языка в более строгий символический аппарат.

Однако преждевременная аксиоматизация была бы ошибкой.

Сначала требуется стабилизировать сами объекты теории.

Формализация должна происходить там, где уже ясно:

что является состоянием;

что — оператором;

что — инвариантом;

что — метаинвариантом;

какие отношения должны сохраняться.

Особенно перспективны здесь:

теория частичных порядков;

графовые модели;

системы переходов;

иерархические пространства состояний;

теория категориальных отношений;

динамические сети.

Но конкретный аппарат должен следовать за предметом, а не подменять его.

Второе направление — вычислительное.

Для Теории метаиндукции необходим собственный класс программных систем, предназначенных не просто для вычисления математических значений, а для автоматического построения:

масштабных состояний;

экстремальных профилей;

метадинамики;

кандидатов в метаинварианты;

контрсценариев;

ретропрогнозов;

карт разрушимости.

Такая система могла бы принимать большой массив математических данных и постепенно преобразовывать его в структуру:

данные ; состояния ; динамика ; метадинамика ; кандидаты в метазаконы ; разрушители ; прогностическая проверка.

Это уже не обычный вычислительный пакет.

Это прототип метаиндукционного исследовательского автомата.

Третье направление — развитие Метаметрии.

Здесь особенно перспективно построение многомерных пространств доказательных состояний.

Вместо традиционного каталога:

теорема;

гипотеза;

опровергнутое утверждение

можно создавать динамические карты математических теорий.

На такой карте будут видны:

сильные доказательные ядра;

гипотетические периферии;

зоны высокой разрушимости;

области быстрого роста;

критические зависимости;

аксиологически значимые узлы.

Это может существенно изменить способ описания больших математических дисциплин.

Четвертое направление — исследование конкретных математических систем.

Теория простых чисел и Метатеорема Гольдбаха остаются естественными полигонами для масштабной и вычислительной метаиндукции.

Проблема Ферма и геометрические теории позволяют исследовать структурное, процессуальное и межипостасное тождество.

Изольдионика дает объекты с выраженной трансволюционной структурой.

Юниметрия — основу для измерения отношений между состояниями.

Метафракталика — иерархические генеративные структуры.

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

Именно разнообразие приложений должно показать, какие части общей теории действительно инвариантны относительно предметной области.

Пятое направление — автоматизация обнаружения разрушителей.

Во многих областях гораздо эффективнее искать не новые подтверждения закона, а наиболее опасные способы его нарушения.

Это предполагает создание алгоритмов, которые целенаправленно исследуют:

экстремальные состояния;

критические классы;

пересечения разрушителей;

каскадные сценарии;

минимальные структурные атаки.

Такая программа может стать общей математической технологией, применимой далеко за пределами одной теории.

Шестое направление — саморазвивающиеся доказательные системы.

В долгосрочной перспективе особенно интересны системы, способные:

формировать гипотезы;

строить доказательные профили;

проводить независимые проверки;

искать собственные разрушители;

перестраивать состояние после ошибки;

сравнивать разные доказательные архитектуры.

Однако здесь главным критерием должна оставаться не автономность как таковая, а прозрачность доказательной эволюции.

Система должна сохранять историю:

что она считала законом;

почему;

что разрушило прежний статус;

каким образом изменились критерии.

Только в этом случае саморазвитие остается математически контролируемым.

Седьмое направление — прикладная метаиндукция.

Особенно перспективны системы, где требуется одновременно:

прогноз;

адаптация;

оценка устойчивости;

контроль смены режима.

К таким областям могут относиться сложные алгоритмические, инженерные и криптографические конструкции.

При этом необходимо сохранять принципиальное различие между:

генерацией математической конструкции

и

доказательством ее инженерной надежности.

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

Восьмое направление — метатеория математического знания.

Вероятно, именно здесь находятся наиболее далеко идущие последствия настоящей работы.

Если доказательства имеют состояния;

если состояния образуют траектории;

если доказательные системы обладают инвариантами;

если их структуры разрушаются и восстанавливаются;

если критерии способны трансволюционировать,

то развитие математики само становится математически исследуемым объектом.

Можно изучать не только историю отдельных идей, но и общие закономерности:

перехода от эмпирического закона к структурному;

от структурного — к доказательному;

от множества частных результатов — к генеративной теории;

от локального противоречия — к перестройке целой математической формации.

Тогда математика начинает исследовать не только собственные объекты, но и законы развития собственного знания об этих объектах.

В этом состоит, возможно, наиболее общий горизонт Теории метаиндукции.

Она начинается с вопроса:

можно ли перенести закономерность дальше?

Затем спрашивает:

что именно переносится?

После этого:

что должно сохраниться, чтобы перенос был допустим?

Далее:

что способно его разрушить?

Затем:

как измерить силу и устойчивость такого переноса?

И, наконец:

как изменяется сама система, которая устанавливает и проверяет эти переходы?

В результате исходная проблема индукции возвращается уже на совершенно другом уровне.

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

Но развитие не означает отказ от строгости.

Напротив, чем более динамичным становится объект, тем больше требуется дисциплина:

ясных состояний;

явных переходов;

операциональных инвариантов;

указанных границ;

проверяемых разрушителей;

различенных доказательных статусов.

Именно поэтому центральная формула настоящей книги может быть сохранена в предельно компактном виде:

Метаиндукция есть теория доказательного переноса тождества через изменение.

В этой формуле соединяются все основные линии работы.

Тождество — потому что необходимо определить, что сохраняет математическую идентичность.

Изменение — потому что объект, структура, процесс и даже система доказательства способны трансформироваться.

Перенос — потому что знание должно переходить через состояния, масштабы и уровни.

Доказательность — потому что каждый такой переход должен иметь собственные основания, границы, разрушители и статус.

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

**********