Inevitability: Six Ontic Requirements Force the τ-Kernel

Overview

VII.T14 proves that six ontic requirements OR1–OR6 jointly force K0–K6 and the five generators. Each requirement is independently necessary (six counterexamples prove independence): OR1 (unity), OR2 (distinctness), OR3 (relation), OR4 (change), OR5 (limit), OR6 (self-reference). No proper subset of OR1–OR6 forces the complete kernel — each requirement removes exactly one axiom if omitted. The τ-kernel is not chosen but forced.

Detail

A foundational theory could be criticised for being an arbitrary choice of axioms. Book VII addresses this objection through the Inevitability Theorem. The argument starts from six ontic requirements — minimal necessary conditions on any theory of reality that aims to describe the actual world: OR1 Unity (there is a whole), OR2 Distinctness (there are parts), OR3 Relation (parts are related), OR4 Change (states transition), OR5 Limit (change is bounded), OR6 Self-Reference (the theory can describe itself). These six requirements are not axioms of Category τ but pre-theoretical demands on any adequate ontology. VII.T14 proves that OR1–OR6 jointly force K0–K6: each axiom K_k is the unique weakest axiom satisfying the corresponding requirement OR_k. Independence: for each i ∈ {1,…,6}, dropping OR_i produces a model that satisfies all other requirements but not OR_i, and this model fails to be a model of K_i. The six counterexamples (one per requirement) prove that no requirement can be derived from the others. The conclusion is that the τ-kernel is the unique minimal structure satisfying all six ontic requirements — it is not chosen but forced by the requirements themselves.

Result Statement

VII.T14: Six ontic requirements OR1–OR6 together force K₀–K₆ + 5 generators. Each requirement is independently necessary (6 counterexamples prove independence). The τ-kernel is not chosen but forced.