From Undefined to Universe: An Analysis of the Logical Necessity of “Self-Referential Undefined” in the Jia Baolong Axiom System
The Logical Necessity of Self-Referential Undefined in the Jia Baolong Axiom System
Abstract
This paper analyses and formalizes a core argument of Jia Baolong’s universal axiom system: once Undefined exists as a syntactic position, Paradoxical Re-entry (PR; formerly paradoxical self-reference), conflict resolution (LE), and structural generation (ER) emerge as logically necessary consequences. We prove that every step in this derivation is not a contingent choice but a necessary consequence of formal logic. Jia Baolong’s two axioms can thus be reduced to one premise—“an undefined position exists”—from which a dynamical framework of the universe follows. The paper situates this argument within 2,500 years of metaphysics, compares it with Platonism, Tegmark’s Mathematical Universe Hypothesis, and Wheeler’s “It from Bit,” and argues that it may constitute a minimal answer to Leibniz’s question: “Why is there something rather than nothing?”
Keywords: Undefined; self-referential paradox; Jia Baolong axioms; computational ontology; Leibniz question; lazy evaluation; emergence
1. Introduction
1.1 The Leibniz question
In 1714 Gottfried Wilhelm Leibniz asked:
“Why is there something rather than nothing?” (Pourquoi il y a plutôt quelque chose que rien?)
The difficulty is self-undermining: any theory answering it must itself exist, and its existence is precisely what the question asks it to explain.
| Tradition | Core answer | Fundamental difficulty |
|---|---|---|
| Theism | God creates existence | Why does God exist? Infinite regress |
| Platonism | Eternal forms exist a priori | Why do forms exist? The same question |
| Naturalism | Existence is a brute fact | Abandons explanation rather than answering |
| Quantum cosmology | Vacuum fluctuation produces universe | Why does a quantum field exist? The question is delayed |
| Tegmark MUH | All mathematical structures exist | Why do mathematical structures exist? The same question |
The Jia Baolong system offers a distinct route based on computational logic rather than traditional metaphysics.
1.2 Outline of the Jia Baolong Axiom System
The universal axiom system has two axioms.
Axiom One, the dual-paradigm principle: existence has three orthogonal dimensions:
- Undefined, a contentless syntactic position;
- Platonic Crystal, static mathematical structure complete but without dynamics;
- PR Generative Tree, dynamic self-referential computation.
Axiom Two, the triadic generative mechanism: the universe engine contains inseparable PR (Paradoxical Re-entry, formerly Paradox–Reference), ER (Entity–Relation), and LE (Lazy Evaluation).
1.3 Central thesis
Theorem, informal: the existence of Undefined in Axiom One logically entails the existence of PR + ER + LE in Axiom Two. The two-axiom system can therefore be reduced to one premise: an undefined position exists.
2. Formal Semantics of Undefined
2.1 Undefined is not non-existence
In formal systems, absence and undefinedness differ strictly. An identifier $x$ is absent if it is not in the current namespace; accessing it can yield a ReferenceError. It is undefined if it has a legal address in the namespace but its content is empty, $\bot$; accessing it yields the legal value undefined.
| System | Absence | Undefinedness |
|---|---|---|
| JavaScript | ReferenceError: y is not defined |
let x; // x === undefined |
| Type theory | Variable not in context $\Gamma$ | $\Gamma \vdash x : \bot$ |
| Partial functions | $a\notin\text{dom}(f)$ | $f(a)=\bot$ (non-termination/no value) |
| Turing machine | No such state | State exists but computation does not halt |
Absence means that no position exists and there can be no reference. Undefinedness means that a position exists while its content is empty and can be referenced.
2.2 Undefined as syntactic position
Definition 2.3. A syntactic position $p$ is an ordered pair
where $\text{address}$ is a unique identifier and $\text{content}\in V\cup\{\bot\}$, with $V$ the possible value domain and $\bot$ “no content.” If $\text{content}=\bot$, $p$ is undefined: it has an address and no content.
2.3 Referability is intrinsic to position
Postulate 2.4, Reference Postulate. The content of any syntactic position $p$ may be the address of another position $q$.
This is the basic definition of reference. It is not an extra feature: it belongs internally to the concept of position. If a content domain cannot contain addresses of other positions, positions can form no relations and the system is a set of wholly isolated points, formally equivalent to a disjunction of empty sets—nothing at all. Thus a meaningful Undefined is an undefined syntactic position with reference capacity.
3. Core Argument: Undefined $\to$ PR $\to$ LE $\to$ ER
3.1 Step One: Undefined $\to$ self-reference
Theorem 3.1, irreducibility of self-reference. In every system containing at least one syntactic position $p$ and satisfying Postulate 2.4, self-reference $p.\text{content}=p.\text{address}$ cannot be eliminated.
Let $S$ contain positions $P=\{p_1,p_2,\ldots\}$. Reference allows any $p_i.\text{content}$ to take any $p_j.\text{address}$. Suppose, for contradiction, that a mechanism can remove every instance of self-reference by enforcing:
This constraint is itself rule $R$, “a position may not refer to itself.” $R$ must be stored at position $p_R$, yet its content concerns all positions, including $p_R$ itself. The anti-self-reference rule is itself self-referential. Therefore self-reference is not eliminable in any nonempty position system. $\square$
Corollary 3.2. Self-reference of an Undefined position is likewise unavoidable. If $p.\text{content}=\bot$ and $p$ refers to itself:
3.2 Step Two: Undefined self-reference $\to$ primitive paradox
Theorem 3.3. Self-reference of an Undefined position necessarily generates paradox.
Let $p$ be self-referential and undefined. It says “the value of $p$ equals the value of $p$,” while its value is $\bot$. The statement that $p$ is undefined is itself a determination of $p$: $p$ is simultaneously defined as undefined and undefined in content. Let $D(x)$ mean that $x$ is defined, $x.\text{content}\neq\bot$. Then:
If $D(p)$ holds, the content $\neg D(p)$ is false and $p$ has no truth-valued content, yielding $\neg D(p)$. If $\neg D(p)$ holds, its asserted content is true and $p$ has truth-valued content, yielding $D(p)$. This is isomorphic to the Liar Paradox. It is not an occasional accident but an intrinsic property of every self-referential Undefined position. $\square$
3.3 Step Three: paradox $\to$ conflict resolution, LE
Theorem 3.5. A formal system containing paradox, if it is to maintain a dynamic process rather than static contradiction, necessarily needs conflict resolution.
There are three possible responses to $\sigma_p$:
- Collapse: contradiction stops the system, or explosion makes it trivial;
- Stasis: paradox is admitted but never processed;
- Resolution: the system handles the paradox locally, breaks its symmetry, and produces a definite, if temporary, result.
Collapse yields no existing thing and contradicts the premise that Undefined exists as a position. Stasis is a completely static Platonic Crystal, a distinct dead dimension of the Jia Baolong framework. In the nondegenerate case, resolution remains. This mechanism is LE, Lazy Evaluation/conflict resolution: when contradiction is encountered, the system is forced to choose and break symmetry.
Corollary 3.6. LE is not an external rule added to the system but a logical consequence of paradox’s existence.
3.4 Step Four: conflict resolution $\to$ structural generation, ER
Theorem 3.7. Every LE resolution of paradox necessarily generates new relational structure.
LE resolves $\sigma_p$ by choosing between $D(p)$ and $\neg D(p)$. If it chooses $D(p)$, a definite value is assigned and a new entity appears. If it chooses $\neg D(p)$, the confirmation itself creates a relation: “$p$ has been judged undefined.” Either way the process creates Entity–Relation: a new value binds to a position or a new judgment relation is established. The resulting positions and relations can self-reference again, produce new paradoxes, demand new LE resolution, and produce more ER. This is the self-sustaining loop:
4. Reduction from Two Axioms to One Premise
4.1 Summary of the Derivation Chain
The derivation is:
Every step is logically necessary rather than contingent. The whole PR+ER+LE triadic mechanism is a logical consequence of Undefined.
4.2 Axiom Reduction
Theorem 4.1, Axiom Reduction. The two-axiom Jia Baolong system can be reduced to one premise:
Unique premise: At least one undefined syntactic position satisfying Reference Postulate 2.4 exists.
From this premise:
- PR is the necessary product of Undefined referring to itself (Theorems 3.1 and 3.3).
- LE is the necessary demand for resolving the paradox necessarily produced by PR (Theorem 3.5).
- ER is the necessary by-product of the LE resolution process (Theorem 3.7).
- The Platonic Crystal is the static totality of all possible structures. It need not be separately axiomatized: it is the complete enumeration of every possible position–content pairing and is determined automatically once the position space of Undefined has been fixed.
4.3 Formal Correspondence with the Lambda Calculus
| Jia Baolong concept | Lambda-calculus counterpart | Meaning |
|---|---|---|
| Undefined position | Free variable $x$ | Named but without bound value |
| Self-reference | $\omega=\lambda x.xx$ | Function applies itself to itself |
| Primitive paradox | $\Omega=\omega\omega=(\lambda x.xx)(\lambda x.xx)$ | Non-halting self-referential computation |
| LE | Choice of $\beta$-reduction strategy | System must choose how to reduce |
| ER | Intermediate terms created in reduction | Each reduction creates new lambda terms |
$\Omega$ is the simplest non-terminating calculation in lambda calculus. It needs no input: the possibility of self-reference alone produces an unending process. Formally, the cosmological claim is:
5. Answer to the Leibniz Question
5.1 The Shared Defect of Traditional Answers
Traditional answers presuppose something with content—God, form, brute fact, quantum field, mathematical structure—then use it to explain other existence. They merely move the question down one level.
5.2 The Structural Advantage of the Jia Baolong Answer
The Jia Baolong answer presupposes no thing with content. It assumes an empty position. “An empty position exists” is an extremely weak premise, weaker even than “nothing exists,” because “nothing exists” is itself a contentful statement, whereas the position is contentless. To deny the existence of an empty position, one must state “no empty position exists”; but the statement itself needs a position to be held. Its denial thus affirms it. The claim is self-proving.
5.3 A Complete Answer to the Leibniz Question
Why is there something rather than nothing? “Nothing,” Undefined, is not absence of existence but existence in its minimum form: an empty syntactic position. The empty position necessarily self-references; self-reference necessarily produces paradox; paradox necessarily requires resolution; resolution necessarily produces structure. Nothing is not a stable state but a self-igniting seed. Being need not be created; it emerges logically from Undefined.
The answer is distinctive in four respects:
- It depends on no contentful prior being.
- Every step of the derivation is logically necessary rather than contingent or probabilistic.
- It avoids infinite regress: there is no need to explain why the empty position exists, because denying it reaffirms its existence.
- It is fully compatible with the formal tools of computer science.
6. Interface with TGP Experiments
6.1 Mapping Theory to Experiment
The logical argument above received numerical validation in Jia Baolong’s Trinity Graph Process (TGP) computational experiments [3]:
| Logical derivation | TGP correspondence |
|---|---|
| Undefined = empty position | Phase 0: initial topological graph, a random graph as a set of unstructured positions |
| Self-reference $\to$ paradox | PR selection function reads rules from a graph’s own topology: rules reference data and data generate rules |
| Paradox $\to$ resolution | LE conflict resolution collapses superposition into determinate state at observation |
| Resolution $\to$ structure | ER base produces topology, chaos, particles, chemistry, and selection |
| Unending loop | Twenty million generations of continued evolution without convergence to stasis |
6.2 Emergence Levels as Validation of the Derivation Chain
The seven emergence levels observed in TGP can be understood as the stepwise unfolding of the Undefined $\to$ PR $\to$ LE $\to$ ER derivation:
| Phase | Emergent phenomenon | Corresponding logical level |
|---|---|---|
| 0 | Topology | ER: relations are established among positions |
| 1 | Chaos | PR: self-referential feedback loop, $\lambda>0$ |
| 2 | Fractal structure / self-repair | PR+ER: self-reference generates recursive structure |
| 3 | Matter | LE+ER: conflict resolution produces stable structures, or “particles” |
| 4 | Interaction | PR: self-referential relations among particles |
| 5 | Heredity | PR: a template is a self-replicating self-referential structure |
| 6 | Selection | Asymmetric resolution when PR exceeds LE, a nonequilibrium state |
6.3 The Ontological Status of Universal Constants
TGP discovered universal constants invariant across eight independent universes, including $\alpha_{SOC}=1.4700\pm0.0001$ and $R=3.1226\pm0.0048$. In this framework, their ontological status becomes clear: they are fixed points of the Undefined $\to$ PR $\to$ LE $\to$ ER derivation—quantitative features that depend only on the logical structure of the derivation itself, not on initial conditions. Just as $\pi$ is an intrinsic constant of the concept of a circle rather than of any particular circle, $\alpha_{SOC}=1.4700$ is an intrinsic constant of the PR–ER–LE dynamic loop rather than of any particular TGP simulation.
7. Critical Assessment and Open Questions
7.1 Strength of the Argument
| Strength | Explanation |
|---|---|
| Extremely weak premise | Requires only an empty position, weaker than every competing theory’s premise |
| Explicit derivation | Each step, Undefined $\to$ self-reference $\to$ paradox $\to$ resolution $\to$ structure, can be formalized |
| Computational evidence | More than 500 TGP simulations offer numerical evidence for the chain |
| No specific physics presupposed | The argument is made at a purely logical level |
| Occam-optimal | One premise derives the whole framework |
7.2 Weaknesses of the Argument
| Weakness | Explanation |
|---|---|
| The exclusion of options (a) and (b) in Theorem 3.5 is not sufficiently strict | Why can the system not choose collapse or stasis? Excluding them requires an additional assumption—the continuity of existence—which may itself be a hidden axiom. |
| The a priori character of “position” | “Syntactic position” is borrowed from programming languages and formal logic. Whether position has meaning before the birth of a physical universe is a deep question in the philosophy of mathematics. |
| The gap between TGP and real physics | TGP shows that the derivation chain can run computationally, but does not prove that the physical universe follows the same chain. No method yet derives actual physical constants from TGP constants. |
| The reductio against banning self-reference can be challenged | Theorem 3.1 assumes that a rule must be stored at a position inside the system. If the rule exists at a meta-level outside the system, the reductio does not go through. This turns on the philosophical question of whether a meta-level exists. |
| “Paradox must be resolved” is not itself a theorem of logic | In paraconsistent logic, contradictions can coexist without explosion. If the universe runs on paraconsistent logic, paradox need not be resolved, and LE would not be necessary. |
7.3 Open Questions
- Can Theorem 3.5 be made rigorous? It must state which additional postulate excludes collapse and stasis, and whether that postulate is weaker than “Undefined exists.”
- Does the derivation have a converse? If PR+ER+LE entails Undefined, then Undefined $\Leftrightarrow$ PR+ER+LE and the whole system is fully equivalent to “Undefined exists.”
- Can $\alpha_{SOC}=1.4700$ be derived analytically? Deriving this constant from the logical structure of the chain rather than numerically would greatly strengthen the theory.
- Is the derivation compatible with real physics? Specifically, is TGP’s LE conflict resolution—the analogue of the Born rule—actually equivalent to the Born rule of quantum mechanics? If so, it would bridge the derivation chain to physical reality.
8. Position in Intellectual History and Originality Claims
8.1 Relation to Major Traditions
| Tradition | Relation to the Jia Baolong argument |
|---|---|
| Platonism | Retains the Platonic Crystal as an independent dimension but denies that it is the generative source of the universe. The Crystal is a static descriptive instrument, not a dynamic generator. |
| Aristotle | Pure formal cause $\to$ efficient cause $\to$ material cause $\to$ final cause can be compared with Undefined $\to$ PR $\to$ LE $\to$ ER, but the direction is computational rather than teleological. |
| Leibniz | Leibnizian monadology posits countless self-contained monads; an Undefined position can be viewed as a de-contented monad. |
| Wittgenstein | The “logical space” of the early Wittgenstein’s Tractatus—the space of all possible states of affairs—is structurally similar to the Platonic Crystal. |
| Gödel | Incompleteness proves that self-referential systems contain undecidable propositions; Jia Baolong raises undecidability into a driving source of the universe. |
| Turing | The halting problem proves that some computations are undecidable; Jia Baolong interprets non-halting as the universe’s continuing operation. |
8.2 Originality Statement
On the basis of the preceding analysis, we confirm the following originality claims:
- Formalizing “nothingness” as an undefined syntactic position: no one had previously taken this step.
- Arguing that Undefined $\to$ PR is logically necessary: self-reference had previously been treated as an optional feature rather than a necessary consequence of existence.
- Elevating paradox from an epistemological obstacle to an engine of cosmic genesis: earlier frameworks, including Russell’s type theory and ZFC’s axiom of regularity, treated paradox as something to avoid; Jia Baolong treats it as a resource to use.
- Proposing a single-premise cosmology: deriving the whole framework from one weakest premise is unprecedented in the cosmological literature.
9. Conclusion
The paper formalizes the core claim that the existence of Undefined logically entails PR+ER+LE:
- Undefined is an empty syntactic position with reference capacity.
- Self-reference is irreducible in every position system.
- Self-reference of Undefined necessarily produces paradox.
- In a nondegenerate system paradox necessarily requires resolution.
- Resolution necessarily produces new relational structure.
- New structure can self-reference again, so the loop does not stop.
The two-axiom Jia Baolong system is thereby reduced to one premise, “an Undefined position exists,” yielding a coherent answer without infinite regress: “nothing” is not a stable state but a self-igniting seed; existence need not be created, because it emerges logically from Undefined.
The paper notes that exclusion of collapse/stasis in Theorem 3.5 needs additional assumptions and that the bridge from TGP computation to real physics remains to be completed. As a philosophical cosmological argument, it presents a compact, internally structured route worthy of serious study.
References
[1] Jia, Baolong. The JiaBaolong Universal Axiom System: Two Axioms, One Universe. Zenodo, 2026.
[2] Jia, Baolong. A Brief History of Spacetime. Amazon KDP, 2026.
[3] Jia, Baolong. “From Chaos to Life in Medium-Free Topological Dynamics: Complete Numerical Verification of the Trinity Graph Process.” Zenodo, 2026.
[4] Leibniz, G. W. Principes de la Nature et de la Grâce fondés en raison, 1714.
[5] Wigner, E. “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” Communications in Pure and Applied Mathematics, 13(1), 1960.
[6] Tegmark, M. “The Mathematical Universe.” Foundations of Physics, 38(2), 101–150, 2008.
[7] Gödel, K. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik, 38, 173–198, 1931.
[8] Turing, A. M. “On Computable Numbers, with an Application to the Entscheidungsproblem.” Proceedings of the London Mathematical Society, 42(1), 230–265, 1937.
[9] Church, A. “A Set of Postulates for the Foundation of Logic.” Annals of Mathematics, 33(2), 346–366, 1932.
[10] Priest, G. In Contradiction: A Study of the Transconsistent. Oxford University Press, 2006.
[11] Lafont, Y. “Interaction Combinators.” Information and Computation, 137(1), 69–101, 1997.
[12] Wolfram, S. A New Kind of Science. Wolfram Media, 2002.
[13] Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. North-Holland, 1984.
[14] Wheeler, J. A. “Information, Physics, Quantum: The Search for Links.” Proceedings III International Symposium on Foundations of Quantum Mechanics, 354–368, 1989.
This article was written after reading and analysing Jia Baolong’s published works, including KDP manuscript, V1 experimental paper, TGP experimental paper, and theory site. Its formalized argument is this paper’s reconstruction and extension of Jia Baolong’s non-formal argument; it does not claim to be Jia Baolong’s own wording.