Published December 11, 2025 | Version v2

Теорема о Δ–Σ представимости формальных систем

Authors/Creators

Description

В работе строго формулируется и доказывается теорема, устанавливающая, что любая нетривиальная формальная система (язык, алгебра, логическое исчисление) допускает единственную минимальную репрезентацию через два базовых оператора: Δ (оператор различения) и Σ (оператор композиции/связи). Это утверждает их статус не только как онтологических примитивов, но и как универсальных функциональных элементов, достаточных для порождения любых математических и логических структур.

Теорема является прямым следствием и прикладным воплощением общей Δ–Σ Онтологической Теоремы, выводящей ту же структуру из аксиом потенциальности и наблюдаемости. Доказательство демонстрирует, что любая нетривиальная формальная структура может быть единственным и минимальным образом сведена к композициям Δ и Σ, подтверждая их универсальность как функциональных примитивов. Работа строит мост между метафизическим фундаментом и конкретными формальными науками.


Technical info (English)

The paper presents a rigorous formal theorem that establishes the necessary and sufficient character of the distinction (Δ) and connection (Σ) operators for the existence of any nontrivial formal system (language, logic, algebra). The theorem is a direct corollary and applied embodiment of the general Δ–Σ Ontological Theorem, which derives the same structure from the axioms of potentiality and observability. The proof demonstrates that any nontrivial formal structure can be uniquely and minimally reduced to compositions of Δ and Σ, confirming their universality as functional primitives. The work builds a bridge between the metaphysical foundation and the concrete formal sciences.

Files

Theorem_on___Σ_Representability_of_Formal_Systems.pdf

Additional details

Additional titles

Translated title (English)
Theorem on Δ–Σ Representability of Formal Systems

Related works

Is supplement to
Preprint: 10.5281/zenodo.17866368 (DOI)