Layer 0–2
15-Point Iron Chain
Lean4 (2 theorems)
Axioms
The starting commitments. Not derivable. Not provable from within. What the system asserts before it proves anything.
Pre-System: Truth
PRE-SYSTEM — NOT AN AXIOM
Truth
Truth is not inside the hierarchy. The system exists because Truth is already there.
Truth is not a primitive term, not a presupposition, and not an axiom. Any definition, proof, denial, or assertion already depends on truth being operative. You can't define it — the definition uses truth to work. You can't assert it as an axiom — assertions are truth-claims. You can't presuppose it — presuppositions are inside the system, and truth is what the system stands on.
The framework can point to this floor. It cannot descend below it. What is beneath — God as the uncaused source of Truth, the rational ground — is where theology does its work from the outside. The socket is mathematics. The plug is theology. The fit is evidence, not proof.
Level 0: Primitive Terms
Undefined anchor concepts. Cannot be defined within the system without circularity. Used to build everything else but not themselves provable.
PRIMITIVE TERM — P0.1
Existence
Something rather than nothing.
The most irreducible claim. Not provable from inside the system — any attempt to prove it already presupposes existence. Used by everything above it but not itself derived from anything.
PRIMITIVE TERM — P0.2
Distinction
One thing can differ from another.
The capacity for difference. Without distinction, nothing can be said about anything — every statement collapses into sameness. Like Existence, it cannot be defined without using the concept itself.
PRIMITIVE TERM — P0.3
Information
Distinguishable states exist.
Not defined from scratch here — it follows from Existence and Distinction being real. If things exist and can differ, then distinguishable states exist. Information is what you have when distinction is real. (Also appears as Definition D1.1 once formalized.)
Level 1: Presuppositions
| # | Presupposition | What breaks if false |
| P1 | Something exists rather than nothing | No substrate, no claim to make |
| P2 | Distinguishable states are real | No information, no reasoning |
| P3 | The system can be reasoned about consistently | All statements become meaningless |
These are not discoveries. They are the operating floor under any rational system. The framework cannot reason below its own presuppositions — that is not a limitation, it is Gödel.
Level 2: The 15-Point Iron Chain
Axioms are what the system asserts about which coherent possibility we are actually in. They are not derivable. They are not provable from within. They are chosen. The 15-point Iron Chain is the public load-bearing spine beneath the full 188-item structural presentation.
| Axioms | Movement | Core Claim | Derived Result |
| 1–3 | Existence | Something distinguishable exists | Information substrate is real |
| 4–6 | Grounding | Reality is grounded in a self-sustaining Logos field | Regress terminates in Logos |
| 7–9 | Observation | Actualization requires observers | Chain terminates in God |
| 10–12 | Moral Physics | Humans have fixed moral sign, cannot self-flip | Self-salvation is impossible |
| 13–14 | Spiritual Reality | Souls persist; spiritual warfare is real | Judgment and resurrection are coherent |
| 15 | Conclusion | External grace is the only sign-flip mechanism | Grace is a structural necessity |
AXIOMS 1–3 — EXISTENCE
Something Distinguishable Exists
There is something rather than nothing, and it contains distinction.
The first move of the chain: reality is not an undifferentiated void. Something exists, and that something has internal structure — distinguishable states. This commits the system to an information-bearing reality rather than a contentless plenum.
AXIOMS 4–6 — GROUNDING
Self-Sustaining Logos Field
Reality is grounded in a self-sustaining information substrate — the Logos field.
The information substrate cannot float without support. Any finite grounding leads to infinite regress unless the substrate can ground itself. The Logos field is asserted as self-grounding: it does not require external support because its existence conditions are internal to its own structure. This is the Logos of John 1:1 — identified not theologically here but structurally.
AXIOMS 7–9 — OBSERVATION
Actualization Requires Observers
Information must be actualized by observation. The Von Neumann chain cannot terminate in a finite observer.
Quantum mechanics makes observation non-trivial: a state in superposition is not actualized until observed. The Von Neumann chain — the regress of observers observing observers — must terminate somewhere. It cannot terminate in a finite observer without circularity. The chain terminates in a terminal infinite observer. This is the structural position identified theologically as God.
AXIOMS 10–12 — MORAL PHYSICS
Conserved Moral Sign
Humans have a fixed moral sign (σ = +1 or −1). Self-operations preserve sign: U(self) × σ = σ.
Moral orientation is not a continuous variable that can be gradually improved. It is a sign. And like a sign in linear algebra, it cannot be flipped by operations that originate from within the signed system. A negative vector multiplied by any self-unitary operation remains negative. The sign can only be flipped by an external operator. This is the Fall: not a moral metaphor but a structural description of sign conservation.
AXIOMS 13–14 — SPIRITUAL REALITY
Souls Persist; Spiritual Warfare Is Real
Personal identity information persists beyond physical transformation. Active relational discoherence (spiritual warfare) exists and is distinct from passive entropy.
If identity is information, and information is conserved (not destroyed), then personal identity survives physical transformation. Resurrection is therefore a coherent claim — not magic, but information restoration. Spiritual warfare names something more than thermodynamic decay: active agents working against coherence, not just entropy running its course.
AXIOM 15 — CONCLUSION
External Grace Is the Only Sign-Flip Mechanism
Because sign cannot self-flip, and because the Master Equation requires χ > 0 to have a non-trivial fixed point, external grace is the only mechanism that can reverse moral orientation.
This is where the chain closes. Works-based salvation is ruled out by linear algebra (sign conservation). The Pelagian claim — that humans can self-generate righteousness — is not a theological dispute here; it is dismissed by the mathematics of unitary operations. External grace is not theology added to physics. It is the existence condition for a non-trivial outcome.
Falsification Conditions
- Something can come from nothing without distinction
- Information can exist without substrate
- Substrate can ground itself finitely (no regress)
- Observation is unnecessary for actualization
- The Von Neumann chain terminates in a finite observer
- Moral facts are not real
- Sign can self-flip through effort, will, or technique
- Souls do not persist
- Spiritual agents are impossible
None of these has been demonstrated. Until one is, the chain stands.