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

1. Теорема Гёделя о неполноте ("система не может доказать свою непротиворечивость изнутри") была знакома любому инженеру советских НИИ ещё в 1970-х: там это называлось "указание сверху". Западная математика тратит столетия на поиск непротиворечивого базиса, а мы уже давно поняли: непротиворечивость -- это вопрос достаточной степени идеологического натяжения.

2. Заморский анализ оперирует понятием "предел последовательности". Но зачем нам бесконечное приближение к точке, если мы всегда работаем в дискретном поле "достаточно хорошо"? Ряд Коши сходится к некой абстрактной величине. Наш доморощенный ряд сходится к величине, утверждённой приказом № 703 -- и это сходимость более высокого порядка, ибо подкреплена материально. Наши ряды куда надо, туда и сойдутся!

3. Гильбертовы пространства бесконечномерны. По нонешним временам это расточительство! Наше национальное виртуальное пространство имеет размерность, равную числу согласований, которая всегда конечна, что упрощает вычисления. Более того, мы открыли новый класс объектов: "трансцендентные числа по назначению". Это числа, которые нельзя выразить корнем уравнения не потому, что это доказано, а потому, что так решили в Минцифры.

4. Западная математика ищет красивые доказательства с помощью теорем-пруверов. Наша математика -- доказательства, которые не повлекут за собой командировку в Следственный комитет. Это накладывает особую, тонкую топологию на все доказательства: они должны быть не только верны, но и безопасно верны.

Так что не нужна нам ихняя "Математика тысячелетия"! У нас своя, доморощенная задача тысячелетия: доказать, что 2+2=4, но так, чтобы 2x2=5 при этом не оказалось чьим-то частным интересом, как в случае с нацмессенгером. Попробуйте-ка решить это в гильбертовом пространстве!