Why Every Foundational Theory Begins in the Middle: A Structural Impossibility Argument

Every foundational theory begins with a primitive it does not explain. This paper proves that this is not an oversight but a structural necessity. The Midchain Theorem is established through three independent lemmas — self-reference, regress, and dependency-ordering violation — whose exhaustiveness is proven in advance of the theorem. No domain theory can non-circularly ground its own primitive set using only domain-internal resources. The proof shares a structural parallel with Gödel's incompleteness results at the level of proof strategy: in both cases a system's attempt to secure itself from within encodes the very presupposition it was trying to avoid. What every grounding attempt presupposes without grounding is not nothing. Three validity constraints are identified — distinction, persistence, and ordering — each of which is self-securing: any coherent denial employs the constraint it denies. A generalization criterion is then established, providing a formal condition that determines in advance, without case-by-case analysis, which concepts belong to the midchain class. The paper concludes by specifying the necessary and sufficient conditions any valid predomain response must satisfy. Three explicit defeat conditions are stated. The problem is left open. Its structure is not.