Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2025
License: CC BY
Data sources: ZENODO
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2025
License: CC BY
Data sources: ZENODO
ZENODO
Preprint . 2025
License: CC BY
Data sources: Datacite
ZENODO
Preprint . 2025
License: CC BY
Data sources: Datacite
ZENODO
Preprint . 2025
License: CC BY
Data sources: Datacite
versions View all 3 versions
addClaim

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

Theorem on Δ–Σ Representability of Formal Systems
Authors: Bykovsky, Denis;

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

Abstract

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

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.

Keywords

Δ–Σ математика, Δ–Σ модель, математика, теорема представимости, универсальные примитивы, Δ–Σ онтология, Δ–Σ model

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Green