Set theory occupies the foundational stratum of modern mathematics, yet the question of whether its machinery reflects structural necessity or descriptive convenience has never been posed from outside the formal tradition itself. Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) is universally adopted as the axiomatic substrate for virtually all of contemporary mathematics, from analysis and topology to algebra and logic. Its axioms are treated as given, their justification appealing to mathematical intuition or pragmatic adequacy rather than to any prior structural derivation. Operatiology poses the prior question: does ZFC reflect the operational necessities of any operational system, or is it a descriptive compression language whose expressive power comes precisely at the cost of distance from operational reality? This paper applies the projection architecture of Operatiology—distinguishing the Regulative, Executive, and Projective layers (corresponding to the prior CM corpus designations Tier-1, Tier-2, and Tier-3)—to classify each axiom of ZFC individually. The classification criterion is the Unbounded Index Obstruction: the criterion applies only when the semantic content of a structure itself requires non-finitely-exhaustible certification; any structure whose complete operational determination requires certification over a non-finitely-exhaustible index family is excluded from the Executive layer. The central result is that ZFC is a projective representational artifact: a highly compression-efficient classical first-order set-theoretic formal language encoding the termination-failure equivalence class I/∼. Extensionality uniquely reflects the Executive operational identity principle—established by a Projection Identity result relating the Operational Identity Condition of Axiom 2 to set-theoretic extensional equality—while remaining formally projective. The Axioms of Infinity, Power Set, Replacement, and Choice introduce countable-type, power-set-type, unrestricted-type, and maximal-type elements of I/∼ respectively. The continuum hypothesis is classified as a projective artifact whose undecidability within ZFC is the structural signature of a question that does not arise from the Executive layer. This version supersedes the Cognitional Mechanics formulation (DOI: 10.5281/zenodo.20325394).
T.O. (Thu,) studied this question.