# Axiom A0 — Inversion

slug: oip-axiom-a0 · https://miscsubjects.com/a/oip-axiom-a0 · tags: OIP, axiom, philosophy, objection-11, bedrock · updated 2026-08-06T09:30:38.954Z

**A₀ — Inversion.** No concept is valid until tested against its negation. What survives negation is invariant; what collapses is contingent. This is the validity test applied to every other axiom, including itself. (Its negation — "concepts are valid untested" — collapses on contact with any adversarial environment.)

---

## Corpus map
- Next: [Axiom A1](/a/oip-axiom-a1)
- Canonical book: [Law I — The Ground](/a/oip-v3-book-i-ground) · [Total Structure root](/a/oip-total-structure)
- Sibling formalization: [Systems Design — The Premise](/a/systems-design-the-premise)
- All axioms: [A0](/a/oip-axiom-a0) · [A1](/a/oip-axiom-a1) · [A2](/a/oip-axiom-a2) · [A3](/a/oip-axiom-a3) · [A4](/a/oip-axiom-a4) · [A5](/a/oip-axiom-a5) · [A6](/a/oip-axiom-a6) · [A7](/a/oip-axiom-a7) · [A8](/a/oip-axiom-a8) · [A9](/a/oip-axiom-a9)

---

## Bedrock status

A0 is **foundational bedrock**, not a derived theorem. Hierarchy: [Axiom hierarchy](/a/oip-axiom-hierarchy). Negation of A0 is rejected as operational suicide, not self-proven inside the system.



---

# Axiom Hierarchy — Bedrock vs Derived

slug: oip-axiom-hierarchy · https://miscsubjects.com/a/oip-axiom-hierarchy · tags: oip, axiom, hierarchy, objection-11, bedrock, self-explaining · updated 2026-07-17T02:36:04.479Z

# Axiom Hierarchy — Bedrock vs Derived

## §SELF — oip-axiom-hierarchy

**What this page is:** the dependency ordering the twelve axioms were missing.
**What it explains:** A0 cannot fully self-justify without circularity; bedrock is admitted; derived axioms are prosecuted by bedrock.
**Why read it:** reflexive incompleteness (Gödel-adjacent; you published the no-go shape) demands a named un-prosecutable floor.

### Bedrock (asserted — load-bearing — cannot self-justify without circularity)

| ID | Name | Role |
|---|---|---|
| **A0** | Inversion | Validity test: concepts face negation. **Bedrock of method.** |
| **A11** | Receipt is the proof | Validity test for *claims about systems*: checkable record. **Bedrock of evidence.** (If A11 is not numbered in a given edition, the same role is held by the receipt principle in OIP + [what-is-receipt-is-proof](/a/what-is-receipt-is-proof).) |

We **admit**: A0 cannot be proven by A0 without circularity. Its negation ("untested claims are fine in adversarial environments") is rejected as **operational suicide**, not as a theorem inside the system. That is the price of a floor.

### Derived / prosecuted by bedrock

| ID | Prosecuted by | How |
|---|---|---|
| A1–A3 | A0 | Survive negation tests in ground book |
| **A4** | A0 + **declared choice** | Meta-ethical atom is **chosen**; rivals named on [A4](/a/oip-axiom-a4) |
| A5 | A0 + A4 | Prejudice contamination |
| A6–A7 | A0 | Structural/recurrence |
| **A8** | A0 + A5 | Must compose: [A8×A5](/a/oip-axiom-a8-times-a5) |
| A9+ | A0 + A11 | Downstream operational |

### What we refuse

All twelve floating at the same level as if each were self-proving. That is the trap.

### Links

- [A0](/a/oip-axiom-a0) · [A4](/a/oip-axiom-a4) · [A5](/a/oip-axiom-a5) · [A8](/a/oip-axiom-a8)
- [Twelve axioms](/a/oip-the-12-axioms)
- [No-go theorems](/a/oip-no-go-theorems)