AXIOM TYPE INDEX
Purpose: Define what each axiom type prefix means and link to full indexes.
Type Prefixes
| Prefix | Name | Count | Role |
|---|---|---|---|
| A | Axiom | 37 | Load-bearing claims (cannot be derived) |
| C | Corollary | 2 | Direct logical consequences |
| D | Definition | 31 | Term locks (what symbols mean) |
| E | Equation | 12 | Mathematical formulations |
| EV | Evidence | 4 | Empirical support |
| EXP | Experiment | 2 | Cited experimental results |
| FALS | Falsification | 3 | What would disprove the theory |
| ID | Identification | 1 | Bridge claims (X = Y) |
| LN | Lemma/Note | 7 | Supporting arguments |
| OPEN | Open Question | 1 | Unresolved issues |
| P | Property | 15 | Derived properties |
| PRED | Prediction | 3 | Testable future claims |
| PROT | Protocol | 5 | Experimental procedures |
| T | Theorem | 18 | Provable results |
Total: 141 items (from 147 in spine, some gaps in numbering)
Full Indexes (Source of Truth)
| Index | Location | View |
|---|---|---|
| Sequential | O:\_THEO\AxiomMatches\SEQUENTIAL\MAPS\INDEX_SEQUENTIAL.md | INDEX_SEQUENTIAL |
| By Type | O:\_THEO\AxiomMatches\SEQUENTIAL\MAPS\INDEX_BY_TYPE.md | INDEX_BY_TYPE |
| By Stage | O:\_THEO\AxiomMatches\SEQUENTIAL\MAPS\INDEX_BY_STAGE.md | INDEX_BY_STAGE |
Type Hierarchy
FOUNDATIONAL (cannot be derived)
├── A - Axioms (37)
│
DERIVED (follows from axioms)
├── C - Corollaries (2)
├── P - Properties (15)
├── T - Theorems (18)
├── LN - Lemmas/Notes (7)
│
FORMAL (mathematical structure)
├── D - Definitions (31)
├── E - Equations (12)
│
EMPIRICAL (evidence layer)
├── EV - Evidence (4)
├── EXP - Experiments (2)
│
TESTABLE (falsification layer)
├── PRED - Predictions (3)
├── PROT - Protocols (5)
├── FALS - Falsification (3)
│
BRIDGE (connection claims)
├── ID - Identifications (1)
│
OPEN (unresolved)
└── OPEN - Open Questions (1)
Individual Type Files
- A_Axiom
- C_Corollary
- D_Definition
- E_Equation
- EV_Evidence
- EXP_Experiment
- FALS_Falsification
- ID_Identification
- LN_Lemma
- OPEN_OpenQuestion
- P_Property
- PRED_Prediction
- PROT_Protocol
- T_Theorem
Mapping to 32 Structural Axioms
The 32 structural axioms (S1-S32) in STRUCTURAL_AXIOMS.md are a subset of the A-type items here:
| Structural | Sequential ID | Name |
|---|---|---|
| S1 | A1.1 | Existence |
| S2 | A1.2 | Distinction |
| S3 | A1.3 | Information Primacy |
| S4 | P0.4 | Intelligibility |
| S5 | A2.2 | Self-Grounding |
| S6 | A4.1 | Parsimony |
| S7 | O4.1 | Causal Power |
| S8 | HC.1 | Consciousness Fundamental |
| S9 | A5.1 | Observation Requirement |
| S10 | A6.1 | Superposition |
| S11 | A6.2 | Collapse |
| S12 | C3.2 | Coherence Non-Increase |
| S13 | O3.2 | Actualization Requires Actualizer |
| S14 | A8.1 | Binary Sign |
| S15 | A8.2 | Sign Conservation |
| S16 | A9.2 | Non-Unitarity |
| S17-S24 | BC1-BC8 | Boundary Conditions |
| S25 | A11.1 | Moral Realism |
| S26 | A11.2 | Coherence-Morality |
| S27 | A12.2 | Bimodal Outcome |
| S28 | A10.2 | Soul Conservation |
| S29 | HC.10 | Non-Sovereignty |
| S30 | T1 | Monotheism |
| S31 | T2-T5 | Trinity |
| S32 | G0.1-2 | Necessary Self-Existence |
This folder defines the epistemological role of each axiom type.