Теорема о Δ–Σ представимости формальных систем
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
Files
(369.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3208a381d4d0b985f88f048ffdb006e0
|
180.7 kB | Preview Download |
|
md5:6e5c837e3790db9ff9184184c47f891a
|
189.1 kB | Preview Download |
Additional details
Additional titles
- Translated title (English)
- Theorem on Δ–Σ Representability of Formal Systems
Related works
- Is supplement to
- Preprint: 10.5281/zenodo.17866368 (DOI)