>>/118025/

Чтобы спасти систему, Кантор ввел понятие Абсолюта. Трансфинитные числа постижимы человеческим разумом. Абсолютная бесконечность - непостижима. Она воплощает в себе единство Бога, которое не может быть математически формализовано без противоречий. Внешняя реальность - это математическая структура. Существование - это вычисление. Математика - единственная высшая реальность. Числа и функции - это фундаментальные строительные блоки реальности, и всё существует благодаря числовым соотношениям.

Абсолютная Бесконечность больше любой другой мыслимой или немыслимой вещи. Кантор видел абсолютную бесконечность (Ω) Богом и считал, что она обладает различными математическими свойствами, включая принцип отражения (кстати формально строго определенный в теории множеств): каждое свойство абсолютной бесконечности также присуще некоторому меньшему объекту. Используя латинское выражение in Deo, Кантор отождествлял абсолютную бесконечность с Богом, реализованным в высшем совершенстве, в совершенно независимом, внеземном существовании. По мнению Кантора , абсолютная бесконечность находится за пределами математического понимания и должна толковаться в терминах негативной теологии.

Принципы отражения связаны с попытками сформулировать идею о том, что ни одно понятие, идея или утверждение не может охватить всё наше представление о вселенной множеств. Курт Гёдель описал это следующим образом: Вселенная всех множеств структурно неопределима. Один из возможных способов уточнить это утверждение — следующий: Вселенная множеств не может быть однозначно охарактеризована (т.е., отделена от всех своих исходных сегментов) каким-либо внутренним структурным свойством отношения принадлежности к ней, которое может быть выражено в любой логике конечного или трансфинитного типа, включая бесконечные логики любого кардинального числа. Этот принцип можно рассматривать как обобщение принципа замкнутости. Фактически, он использовал Бога как предохранитель, чтобы его математическая логика не взорвалась от собственных парадоксов. Гедель потом это формально описал как неполноту, а значит как минимум одна аксиома в любой аксиоматике должна быть внешней (божественной).

Именно здесь кроется причина его тяжелой судьбы! Математическое сообщество того времени (особенно Леопольд Кронекер) буквально травили его как фсбачеры, называя шарлатаном и коррупционером молодежи. Кантор воспринимал это не как научную дискуссию, а как гонения на религиозную истину. Гёдель, спустя десятилетия, тоже был глубоко верующим человеком и даже пытался логически доказать существование Бога (онтологическое доказательство). Они оба искали в основаниях математики не просто правила, а Первопричину. В итоге современные системы LEAN, COQ/ROCQ и другие солверы-дерайверы нормально компилируют его систему, но это банальная получается подрывная схема: "модальный коллапс" (google it). Вот и вопрос, что в итоге получается, тупик?