Aykut Aşkar

Abstract This paper develops a structural analysis of proofs in ZFC that distinguishes between their inferential identity and their ordinal modes of justification across models of set theory. While forcing extensions preserve the validity of proofs, they disperse the ordinal grounds on which those proofs can be justified. I introduce the notion of a proof skeleton, isolating the inferential core of a proof from its semantic parameters, and prove that this skeleton is invariant under forcing. I then define the ordinal support spectrum of a proof and measure its dispersion via an entropic invariant. My main technical result establishes an upper bound on this entropy in terms of the proof-theoretic complexity of the proof itself. These results show that the set-theoretic multiverse is neither chaotic nor ar bitrary: dispersion is real but controlled. The multiverse supports a form of dis tributed rationality in which proofs retain their identity while acquiring a modal profile that cannot be expressed within low-entropy universes such as L.

This paper establishes the final synthesis of the Co-Equal Structure Thesis (CEST) and the Axiom of Structural Identity (ASI), moving beyond model-relative pluralism toward the concept of the Set-Theoretic Multiverse as a Concrete Universal. We demonstrate that local identity definitions are mathematically insufficient due to path-dependence and the subsequent global instability in forcing chains, a failure that necessi tates a systemic totality. By characterizing Structural Negentropy as an invariance condition on transitions, we show (at the meta-inferential level) that mathematical reason is essentially trans-model. We conclude that the Absolute Idea is realized in the identity of the Objectified Proof (Set) and the Subjectified Structure (Proof-Skeleton). We emphasize that this does not imply that sets are reducible to proofs, but that their actuality is intelligible only through invariant inferential structure.