Registry · Theorem
III.T48
tau-effective
formalized
III.T48 — Four Paradox Diagnostic
Cantor's diagonal, Russell's paradox, Gödel's sentence, and Turing's halting problem are four instances of the same E₂→E₃ boundary crossing (III.D75). Each attempts an operation requiring E₃ self-modelling from within E₂.