We develop a rigorous framework for analyzing the implicit bridge between syntax and semantics in formal theories. Every consistent, recursively axiomatizable theory T that can encode its own syntax relies on an external identification: the Gödel number ⌜φ⌝ is taken to "refer to" the formula φ. This identification is not provable in T and cannot be fully internalized without generating an infinite hierarchy of metatheories. We formalize this "identity axiom" using a two‑sorted language with a primitive reference predicate Ref and explicit axioms linking it to syntax. We show that the resulting hierarchy Tα is mutually interpretable with the reflection hierarchy Bα of 3 (Theorem 5.2). Using this mutual interpretability, we transfer all properties of the reflection hierarchy to Tα: Tα+1 proves Con(Tα) (Corollary 5.3), there is no arithmetically identical interpretation of Tα+1 in Tα (Corollary 5.4), and the hierarchy is strictly increasing in strength. We formulate the fixed‑point conjecture: does there exist an ordinal Λ such that TΛ is equivalent to Sem(TΛ)? We prove that if such a fixed point exists, it would be semantically closed but not recursively axiomatizable (Theorem 6.2). Finally, we draw connections to Kripke's rule‑following paradox and prove a precise limitative result: no consistent formal system can prove a sentence expressing its own reference under the intended interpretation (Theorem 7.1). The paper is self‑contained: all necessary definitions from previous works are recalled, and no external results are assumed without proof.
Daniel Osipenkov (Fri,) studied this question.