AXIOM TEMPLATE

Standard Format for All Axiom Files

---

Copy this template. Fill in brackets. Delete instructions.

---

# [ID] — [TITLE]
**[UUID] | Chain Position [#] | [Type] | [Category]**
 
---
 
## The Claim
 
> **[One sentence formal statement]**
 
[2-3 sentences explaining why this matters. Hook the reader.]
 
---
 
## Why It Holds
 
### From Physics
[How physics supports or requires this]
 
### From Theology
[How theology aligns with this]
 
### From Logic
[The pure logical argument]
 
---
 
## The Objections
 
### "[Strongest objection 1]"
[Steelman it, then defeat it]
 
### "[Strongest objection 2]"
[Steelman it, then defeat it]
 
### "[Strongest objection 3]"
[Steelman it, then defeat it]
 
---
 
## The Verdict
 
**[Why the axiom stands despite objections. 2-3 sentences max.]**
 
---
 
## What This Enables
 
[What follows if this axiom is true. Links forward in chain.]
 
---
 
## Depends On
- [[Prior-Axiom-1]]
- [[Prior-Axiom-2]]
 
## Feeds Into
- [[Next-Axiom-1]]
- [[Next-Axiom-2]]
 
---
 
## Tags
#domain/[physics|theology|consciousness|moral]
#[iron-chain|friction|derived|primitive]
#status/[complete|draft|skeleton]
 
---
 
_Source: [Original source file]_

---

FIELD DEFINITIONS

Field	Required	Description
ID	Yes	Axiom identifier (A1.1, BC7.1, etc.)
UUID	Yes	Unique identifier for citations
Chain Position	If iron-chain	Position 1-15 in main spine
Type	Yes	Axiom, Definition, Theorem, Lemma, BC, Evidence
Category	Yes	Foundation, Grounding, Observation, etc.
The Claim	Yes	One sentence, quotable
Why It Holds	Yes	Three domains minimum
Objections	Yes	At least 2, steelmanned
Verdict	Yes	Why it survives objections
Depends On	Yes	Links to prior axioms (empty if primitive)
Feeds Into	Yes	Links to downstream axioms

---

EXAMPLES

See completed files:

• A1.1_Existence — Primitive axiom (no dependencies)
• BC7.1_Terminal_Observer — Friction point (heavy objections)
• T9.1_Grace_Necessity — Closure theorem (chain terminus)

---

Template v1.0 — 2026-01-15